离散数学典型题解析与实战模拟

解析篇
第一章 集合
　1.1 集合的表示及其运算
　　 1.1.1 复习提要
　　 1.1.2 典型题解
　　 1.1.3 习题及解答
　1.2 自然数和归纳法
　　 1.2.1 复习提要
　　 1.2.2 典型题解
　1.3 笛卡尔乘积
　　 1.3.1 复习提要
　　 1.3.2 典型题解
　　 1.3.3 习题及解答
第二章　二元关系
　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.3.1 复习提要
　　 2.3.2 典型题解
　　 2.3.3 习题及解答
　2.4 序关系
　　 2.4.1 复习提要
　　 2.4.2 典型题解
　　 2.4.3 习题及解答
第三章　函数
　3.1 部分函数
　　 3.1.1 复习提要
　　 3.1.2 典型题解
　　 3.1.3 习题及解答
　3.2 函数的合成与函数的逆
　　 3.2.1 复习提要
　　 3.2.2 典型题解
　　 3.2.3 习题及解答
　3.3 基数及基数代数
　　 3.3.1 复习提要
　　 3.3.2 典型题解
　　 3.3.3 习题及解答
第四章　命题逻辑
　4.1 命题和逻辑联结词
　　 4.1.1 复习提要
　　 4.1.2 典型题解
　　 4.1.3 习题及解答
　4.2 合式公式
　　 4.2.1 复习提要
　　 4.2.2 典型题解
　　 4.2.3 习题及解答
　4.3 等从和蕴含
　　 4.3.1 复习提要
　　 4.3.2 典型题解
　　 4.3.3 习题及解答
　4.4 范式和判定问题
　　 4.4.1 复习提要
　　 4.4.2 典型题解
　　 4.4.3 习题及解答
第五章　谓词逻辑
第六章　自然推理系统
第七章　图论
……
实战篇