离散数学 [许克祥，张娟，万敏 编著] 2015年版

离散数学
作者：许克祥，张娟，万敏 编著
出版时间：2015年版
内容简介
　《离散数学》是在使 用多年的自编讲义的基础上几经修改、补充而成的。
　　本书以集合作为基本研究 对象，详细阐述了集合论、代数结构、图论与数理逻 辑四部分的内容，全书共分为六章，内容 包括：集合与基数、关系、格与布尔代数、群论、图 论与数理逻辑。书中各章均配有难度不等 的习题，供学生练习巩固之用。书中概念叙述清楚， 证明规范严谨，基本概念后面安排了一定 数量的例题，便于学生更好的理解，锻炼学生的逻辑 推理能力。
　　本书可作为高等学校数学类信息与计算科学专业 离散数学课程的教学用书，特别适合具有 较好数学基础的学生使用，也可供计算机等相关专业 师生及广大科研人员参考之用。
目录
第一章 集合与基数
1.1 集合的概念
1.2 集合的运算与性质
1.2.1 集合的基本运算
1.2.2 幂集与笛卡儿乘积
1.3 集合的基数
1.4 无限集
1.5 习题一
第二章 关系
2.1 关系和映射
2.2 关系的运算
2.3 具有某些特殊性质的关系
2.4 等价关系
2.5 偏序关系
2.6 习题二
第三章 格与布尔代数
3.1 代数系统
3.2 作为偏序集的格
3.3 作为代数系统的格
3.4 某些特殊格
3.5 布尔代数
3.6 习题三
第四章 群论
4.1 半群与群
4.2 子群
4.3 循环群与变换群
4.4 陪集与拉格朗日定理
4.5 正规子群与商群
4.6 习题四
第五章 图论
5.1 图的基本概念
5.2 欧拉图与哈密顿图
5.3 树
5.4 平面图与图的染色
5.5 习题五
第六章 数理逻辑
6.1 命题演算
6.2 析取范式与合取范式
6.3 命题演算的推理理论
6.4 谓词演算
6.5 谓词演算的推理理论
6.6 习题六
附录A 名词（中英文）索引
参考文献