2.1_离散数学
nmgyangguangyuan
这个作者很懒,什么都没留下…
展开
-
集合论_集合代数
文章目录集合代数解决问题创建过程组成部分基本概念集合定义集合表示集合基数集合关系空集全集相等关系包含关系子集和真子集证明集合相等n 元集的子集幂集定理集合运算集合运算定律可数集合与不可数集合等式可数集合不可数集合集合代数解决问题 在现代数学中,集合论是数学的基础,数学是其它学科的基础,集合论成为了基础的基础,可见其重要性 在离散数学中,我们需要用集合表达各类离散量和离散量之间的关系创...原创 2019-06-23 15:31:16 · 4208 阅读 · 0 评论 -
离散数学,可满足性问题与消解法,定理2.8的证明C1∧C2≈Res(C1,C2)
记 ,设消解文字 和 . 同时设 = , ,于是 = .假设 是可满足的, 是满足他的赋值,(在这里, 是合取范式,它被满足,当且仅当 ),不妨设 ,由于 也满足 , 必有文字满足为1,(由于 ,所以 ,但是我们需要为1的赋值,所以暂时记为 ), 且 , 与 消解掉 ,但是并没有消解掉 ,所以C中含有 ,故 满足C...原创 2018-01-27 00:18:33 · 14139 阅读 · 0 评论