第1章 数理逻辑

1.1 真值表、主析取范式和主合取范式

1.2 推理

第2章 图

2.1 图的基本概念

2.2 二分图、欧拉图和哈密顿图

2.3 最短路径、关键路径

2.4 广度优先、深度优先算法

2.5 桥、割点

第3章 关系

3.1 关系的性质

3.2 偏序集极小极大元最小最大元

3.3 矩阵与关系闭包

3.4 布尔矩阵交并积

3.5 关系的传递闭包

3.6 最小等价关系

第4章 函数与集合

4.1 单满射一一映射

4.2 集合的运算

4.3 并查集

4.4 排列组合

4.5 商集

4.6 格雷码

4.7 数字拆解

第5章 树

5.1 表达式运算

5.2 树的判定和遍历

5.3 最小生成树

5.4 哈夫曼树

第6章 代数系统

6.1 群的判断

6.2 格

第7章 递推方程的求解

7.1 递归

7.2 递推数列

参考文献