第1章 逻辑和证明
1. 1 命题
1. 2 条件命题和逻辑等价
1. 3 量词
1. 4 证明
1. 5 归结证明
1. 6 数学归纳法
问题求解之角：数学归纳法
1. 7 小结
1. 8 复习
1. 9 自测题
第2章 数学的语言
2. 1 集合
2. 2 序列(有序组)和串
2. 3 数字系统
2. 4 关系
问题求解之角：关系
2. 5 等价关系
问题求解之角：等价关系
2. 6 关系矩阵
2. 7 关系数据库
2. 8 函数
2. 9 小结
2. 10 复习
2, 11 自测题
第3章 算法
3. 1 引言
3. 2 算法的表示方法
3. 3 欧氏算法
3. 4 递归算法
3. 5 算法的复杂度
问题求解之角：算法的设计与分析
3. 6 欧氏算法分析
3. 7 B5A公用密码系统
3. 8 小结
3. 9 复习
3. 10 自测题
第4章 记数方法和分类原理
4. 1 基本原理
问题求解之角：计数
4. 2 排列和组合
问题求解之角：组合
4. 3 产生排列和组合的算法
4. 4 广义的排列和组合
4. 5 二项式系数和组合恒等式
4. 6 鸽巢原理
4. 7 小结
4. 8 复习
4. 9 自测题
第5章 递推关系
5. 1 引言
5. 2 求解递推关系
问题求解之角：递推关系
5. 3 递推关系在算法分析方面的应用
5. 4 小结
5. 5 复习
5. 6 自测题
第6章 图论
6. 1 引言
6. 2 路径和回路
问题求解之角：图
6. 3 哈密尔顿回路和旅行推销员问题
6. 4 最短路径算法
6. 5 图的表示
6. 6 图的同构
6. 7 平面图
6. 8 方块游戏
6. 9 小结
6. 10 复习
6. 11 自测题
第7章 树
7. 1 引言
7. 2 树的术语和特征
问题求解之角：树
7. 3 生成树
7. 4 最小生成树
7. 5 二叉树
7. 6 树的遍历
7. 7 决策树和排序的最短时间
7. 8 树的同构
7. 9 游戏树
7. 10 小结
7. 11 复习
7. 12 自测题
第8章 网络模型和Pbb5网
8. 1 网络模型
8. 2 最大流量算法
8. 3 最大流量最小切割定理
8. 4 匹配
问题求解之角：匹配
8. 5 Peb5网
8. 6 小结
8. 7 复习
8. 8 自测题
第9章 布尔代数和组台线路
9. 1 组合线路
9. 2 组合线路的性质
9. 3 布尔代数
问题求解之角：布尔代数
9. 4 布尔函数和线路组合
9. 5 应用
9. 6 小结
9. 7 复习
9. 8 自测题
第10章 自动机, 文法和语言
10. 1 时序线路和有限状态机
10. 2 有限状态自动机
10. 3 语言和文法
10. 4 非确定有限状态自动机
10. 5 语言和自动机之间的关系
10. 6 小结
10. 7 复习
10. 8 自测题
第11章 计算几何
11. 1 最接近点对问题
11. 2 最接近点对问题的下界
11. 3 计算凸包的算法
11. 4 小结
11. 5 复习
11. 6 自测题
附录A：矩阵
附录B：参考文献
附录C：部分习题的提示和答案
附录Dl符号表
注：标有x号的节, 表示该节可忽略不失连续性
鄂公网安备 42010302001612号 