第1章 数理逻辑 1
1.1 真值表、主析取范式和主合取范式 1
1.2 推理 11
第2章 图 16
2.1 图的基本概念 17
2.2 二分图、欧拉图和哈密顿图 24
2.3 最短路径、关键路径 39
2.4 广度优先、深度优先算法 55
2.5 桥、割点 60
第3章 关系 66
3.1 关系的性质 66
3.2 偏序集极小极大元最小最大元 75
3.3 矩阵与关系闭包 81
3.4 布尔矩阵交并积 86
3.5 关系的传递闭包 90
3.6 最小等价关系 97
第4章 函数与集合 103
4.1 单满射一一映射 103
4.2 集合的运算 110
4.3 并查集 112
4.4 排列组合 115
4.5 商集 124
4.6 格雷码 133
4.7 数字拆解 135
第5章 树 139
5.1 表达式运算 139
5.2 树的判定和遍历 144
5.3 最小生成树 155
5.4 哈夫曼树 165
第6章 代数系统 167
6.1 群的判断 167
6.2 格 169
第7章 递推方程的求解 174
7.1 递归 174
7.2 递推数列 176
参考文献 189