离散数学

1.6.2 有效结论
1.6.3 证明方法
本章小结
习题

第2章 谓词逻辑
2.1 谓词的概念与表示
2.1.1 谓词
2.1.2 命题函数
2.1.3 量词
2.2 谓词公式与翻译
2.2.1 谓词的合式公式
2.2.2 谓词的翻译
2.2.3 自由变元和约束变元
2.3 谓词演算的等价式和蕴含式
2.4 前束范式
2.5 谓词演算的推理理论
本章小结
习题

第3章 集合与关系
3.1 集合的概念和表示
3.1.1 集合与元素
3.1.2 集合的表示
3.1.3 集合与集合的关系
3.2 集合的运算
3.2.1 交运算
3.2.2 并运算
3.2.3 相对补与绝对补
3.2.4 对称差
3.2.5 集合运算中的恒等式
3.2.6 包含排斥原理
3.3 序偶与笛卡儿积
3.3.1 序偶
3.3.2 笛卡儿积
3.4 关系及其表示
3.4.1 关系的引入
3.4.2 关系的定义
3.4.3 二元关系
3.4.4 关系的表示法
3.5 关系的性质
3.5.1 自反性与反自反性
3.5.2 对称性与反对称性
3.5.3 传递性
3.6 关系的运算
3.6.1 关系的交、并、补、差运算
3.6.2 关系的复合运算
……

第4章 函数
第5章 代数系统
第6章 格与布尔代数
第7章 图论
第8章 离散数学在计算机科学中的应用