离散数学及其应用

前言
第1章集合与计数基础
1.1集合的基本知识
1.1.1数学危机与集合论
1.1.2集合的概念与表示
1.1.3集合的基本运算
1.1.4集合的二进制表示
1.2可数集与不可数集
1.2.1无限集的度量问题
1.2.2自然数集的定义
1.2.3无限集的基数比较
1.3有限集的基本计数技术
1.3.1加法原理与乘法原理
1.3.2容斥原理与鸽笼原理
1.3.3排列计数与组合计数
1.4有限集的高级计数技术
1.4.1递推关系计数法
1.4.2递推关系的求解
1.4.3生成函数计数法
1.5习题
第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.3.1算法的基本概念
2.3.2算法效率的度量
2.3.3算法设计应用举例
2.4算法设计策略与应用
2.4.1蛮力与贪心策略
2.4.2递归与分治策略
2.4.3回溯与动态规划策略
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.3联结词的完备集
3.3.1联结词的枚举
3.3.2联结词的完备性
3.3.3联结词的应用
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组合逻辑电路设计
3.6.3加法器电路设计
3.7习题
第4章谓词演算与推理
4.1个体词、谓词与量词
4.1.1逻辑与谓词逻辑
4.1.2命题函数与谓词
4.1.3量词与特性谓词
4.2谓词公式与等值演算
4.2.1谓词公式的概念
4.2.2变量的自由与约束
4.2.3谓词公式的解释与分类
4.2.4谓词公式的等值与蕴含
4.3谓词公式的范式
4.3.1等值型范式
4.3.2非等值型范式
4.4谓词逻辑的推理
4.4.1谓词公式的推演系统
4.4.2谓词推证的基本方法
4.4.3谓词推理实例选讲
4.5谓词逻辑的应用
4.5.1摘香蕉问题
4.5.2水容器问题
4.6习题
第5章关系模型与理论
5.1关系的数学模型
5.1.1序偶与笛卡儿积
5.1.2关系的概念
5.1.3关系的表示
5.2关系的基本运算
5.2.1关系的集合运算
5.2.2关系的复合运算
5.2.3幂关系与逆关系
5.3关系的基本性质
5.3.1关系的自反与反自反
5.3.2关系的对称与反对称
5.3.3关系的传递性
5.3.4关系性质的判定
5.4关系的性质闭包
5.4.1关系闭包的概念
5.4.2传递闭包的构造
5.4.3关系闭包的性质
5.5关系模型的应用
5.5.1关系代数模型
5.5.2关系演算模型
5.6习题
第6章特殊关系模型
6.1等价关系与元素分类
6.1.1等价关系与等价类
6.1.2集合的划分与商集
6.2相容关系与元素聚类
6.2.1相容关系与相容类
6.2.2集合的覆盖
6.3偏序关系与元素比较
6.3.1偏序关系与哈斯图
6.3.2偏序集的特殊元素
6.3.3全序与良序
6.4特殊关系的应用
6.4.1粗集定义问题
6.4.2得分评判问题
6.5习题
第7章函数与特殊函数
7.1函数的基本概念
7.1.1函数的集合定义
7.1.2函数的基本类型
7.1.3常用特殊函数
7.2函数的基本运算
7.2.1函数的复合运算
7.2.2函数的逆运算
7.2.3函数的递归运算
7.3集合的特征函数
7.3.1特征函数的概念
7.3.2特征函数的运算
7.4有限集的置换函数
7.4.1置换函数的概念
7.4.2置换函数的运算
7.4.3置换的轮换分解
7.5函数关系的应用
7.5.1哈希查找问题
7.5.2宽带分配问题
7.6习题
第8章图的基本理论与算法
8.1图的概念与表示
8.1.1图模型的由来
8.1.2图的定义与分类
8.1.3图的表示方法
8.2图的运算与结构
8.2.1图的基本运算
8.2.2图模型的度结构
8.2.3图同构及其判定
8.3图的通路与连通性
8.3.1通路的概念与计数
8.3.2可达性及其判定
8.3.3无向图的连通性
8.3.4有向图的连通性
8.4图模型的基本算法
8.4.1深度优先搜索
8.4.2广度优先搜索
8.4.3单源最短路径
8.4.4多源最短路径
8.5图模型的应用
8.5.1交通灯相位问题
8.5.2作业规划问题
8.5.3机器学习问题
8.6习题
第9章树的基本理论与算法
9.1无向树的基本知识
9.1.1无向树的概念与性质
9.1.2无向图的生成树
9.1.3最小生成树
9.2根树的基本知识
9.2.1有向树与根树
9.2.2根树的基本算法
9.2.3前缀码与最优树
9.3特殊根树与算法
9.3.1平衡树模型
9.3.2红黑树模型
9.3.3B树模型
9.4树模型的应用
9.4.1找假币问题
9.4.2轮流摸牌问题
9.4.3关键道路问题
9.5习题
第10章特殊图模型与算法
10.1欧拉图与哈密顿图
10.1.1欧拉图及其性质
10.1.2哈密顿图及其性质
10.1.3中国邮路问题
10.2二分图与匹配问题
10.2.1二分图的概念与性质
10.2.2完备匹配与最大匹配
10.2.3最大匹配判定与构造
10.3平面图与着色问题
10.3.1平面图的概念与性质
10.3.2平面图的对偶图
10.3.3着色问题与算法
10.4网络流图及其优化问题
10.4.1流网络与切割
10