离散数学.pdf（高清PDF免费下载）

第1篇数理逻辑
第1章命题逻辑
1.1命题与连接词
1.1.1命题的概念
1.1.2逻辑连接词
1.2命题公式及命题公式的翻译
1.2.1命题公式
1.2.2命题的翻译
1.2.3命题公式的解释
1.3等价公式及公式的分类
1.3.1等价公式的定义和性质
1.3.2基本等价公式
1.3.3置换规则
1.3.4公式的分类
1.4蕴含式与对偶式
1.4.1蕴含式
1.4.2对偶式
1.5其他连接词与最小连接词组
1.5.1其他连接词
1.5.2最小连接词组
1.6范式
1.6.1简单合取式与简单析取式
1.6.2公式的范式
1.7公式的主范式
1.7.1主析取范式
1.7.2主合取范式
1.7.3主析取范式与主合取范式之间的关系
1.7.4主范式的应用
1.8推理理论
1.8.1有效论证
1.8.2推理方法
习题
第2章谓词逻辑
2.1谓词逻辑的基本概念
2.1.1个体、谓词
2.1.2命题函数
2.1.3量词
2.2谓词公式与翻译
2.2.1谓词公式
2.2.2谓词公式的翻译
2.3约束变元与自由变元
2.4谓词演算的等价式及蕴含式
2.4.1量词的转换律
2.4.2量词辖域的扩张律与收缩律
2.4.3量词的分配律
2.4.4多个量词的使用
2.5前束范式
2.6谓词演算的推理理论
2.6.1推理规则
2.6.2推理实例
习题
目录
离散数学
第2篇集合论
第3章集合的基本概念和运算
3.1集合的基本概念
3.2集合的基本运算
3.2.1集合的运算
3.2.2集合运算算律
3.3集合中元素的计数
3.3.1容斥原理
3.3.2容斥原理实例
3.4笛卡儿乘积
3.4.1有序对
3.4.2笛卡儿积
3.4.3n阶笛卡儿积
习题
第4章关系
4.1关系的概念
4.2关系的表示与性质
4.2.1关系的矩阵表示
4.2.2关系的图形表示法
4.2.3关系的性质
4.3关系的运算
4.3.1关系的逆运算
4.3.2关系的合成运算
4.4关系的闭包运算
4.5相容关系与覆盖
4.5.1关系图法
4.5.2关系矩阵法
4.6等价关系与划分
4.7偏序关系
习题
第5章函数
5.1函数的基本概念和性质
5.1.1函数的定义
5.1.2函数的性质
5.2函数的复合与反函数
5.2.1函数的复合运算
5.2.2函数的逆运算
习题
第3篇代数系统
第6章代数系统一般性质
6.1二元运算及其性质
6.1.1二元运算
6.1.2二元运算律
6.1.3二元运算特殊元
6.1.4二元运算实例
6.2代数系统
6.3代数系统的同态与同构
6.3.1同态与同构
6.3.2同态与同构实例
6.3.3同态与同构的性质
6.4同余关系与商代数
6.4.1同余关系
6.4.2商代数
习题 [2]
第7章典型的代数系统
7.1半群与群
7.1.1半群与独异点
7.1.2群的定义与性质
7.1.3子群
7.1.4陪集与拉格朗日定理
7.1.5正规子群与商群
7.1.6群的同态与同构
7.1.7循环群
7.1.8置换群
7.2环和域
7.2.1环的定义
7.2.2整环与域
7.2.3环的性质
7.2.4子环、理想与商环
7.3格与布尔代数
7.3.1格的定义与性质
7.3.2子格与格同态
7.3.3分配格
7.3.4有补格
7.3.5布尔代数
习题
第4篇图论
第8章图
8.1图的基本概念
8.1.1图的定义
8.1.2子图
8.1.3图的同构
8.1.4图的运算
8.2图的连通性
8.2.1通路和回路
8.2.2图的连通性
8.2.3图的连通度
8.3图的矩阵表示
8.3.1图的关联矩阵
8.3.2图的邻接矩阵
8.3.3图的可达矩阵
习题
第9章欧拉图和哈密顿图
9.1欧拉图
9.1.1欧拉图的引入和定义
9.1.2欧拉图的判定
9.1.3欧拉图的难点
9.1.4欧拉图的应用
9.2哈密顿图
9.2.1哈密顿图的引入和定义
9.2.2哈密顿图的判定
9.2.3哈密顿图的难点
9.2.4哈密顿图的应用
习题
第10章特殊图
10.1树
10.1.1树的定义与性质
10.1.2生成树
10.1.3最小生成树
10.1.4根树定义与分类
10.1.5最优树与哈夫曼算法
10.2二分图
10.2.1二分图的引入和定义
10.2.2二分图的判定
10.2.3匹配
10.3平面图
10.3.1平面图的引入和定义
10.3.2平面图的欧拉公式
10.3.3平面图判定
10.3.4平面图的对偶图
10.3.5平面图的可着色性
10.3.6平面图的应用