离散数学是高等院校理工科计算机专业必修的专业基础课程。其基本内容由集合论(包括二元关系和函数)、代数结构、图论和数理逻辑四部分构成。本教材在叙述上简明扼要,深入浅出,通过大量的例题把抽象的理论“具体化”,是一本可读性很强的教材。
本教材适合于高等院校计算机专业专修科的学生使用,也适合于函授大学、职工大学、高职高专、成人教育的计算机专业的学生使用。

第1章 集合
1.1 集合的基本概念
1.2 集合的运算
1.3 包含排斥原理
习题
第2章 二元关系
2.1 集合的笛卡尔乘积
2.2 二元关系的定义
2.3 关系的三种表示方法
2.4 关系的基本类型
2.5 等价关系与划分
2.6 相容关系
2.7 偏序关系
2.8 复合关系与逆关系
2.9 关系的闭包运算
习题
第3章 函数
3.1 函数的定义
3.2 特殊函数
3.3 复合函数与逆函数
习题
第4章 代数结构
4.1 代数系统
4.2 特殊运算和特殊元素
4.3 同构
4.4 半群与独异点
4.5 群的定义与性质
4.6 子群
4.7 循环群
4.8 置换群
4.9 群码
4.10 环和域
习题
第5章 图论
5.1 图的基本概念
5.2 图的连通性
5.3 赋权图的*短通路
5.4 欧拉图
5.5 哈密顿图
5.6 中国邮路问题和旅行售货员问题
5.7 二部图
5.8 平面图
5.9 无向树
5.10 有向树
习题
第6章 命题逻辑
6.1 命题与联结词
6.2 真值表与逻辑等价
6.3 永真蕴含式
6.4 推理理论
6.5 范式
习题
第7章 谓词逻辑
7.1 谓词逻辑的基本概念
7.2 量词
7.3 等价式
7.4 谓词永真蕴含式
7.5 谓词演算的推理理论
习题
第8章 递推关系与生成函数
8.1 递推关系
8.2 常系数线性递推关系
8.3 生成函数
习题
参考文献