2021年1月4日
Proj THUDBFuzz Paper Reading: 北京大学软件分析课程2019，熊英飞, 03 数据流分析II
摘要： 复习 以下函数是否是单调的？ f(x)=x-1:T 处处可导，且导数处处不为0的函数 例子：f(x)=1/x，x不为0（因为定义上x就不为0，所以不必考虑0这个点） 求集合x的补集 若以集合间被包含的关系作为偏序，则是 f(x)=g(h(x)) 单调，分别讨论gh增减性相同和增减性相异两种情况 f( 阅读全文
posted @ 2021-01-04 17:55 雪溯 阅读(119) 评论(0) 推荐(0) 编辑