本教材是专为计算机专业专修科的学生编写的，同时也适合于高职高专、各类函授大学、职工大学等成人教育的计算机专业。作者在编写过程中，充分考虑到使用对象的现有水平及其学习特点，对于传统的离散数学的内容在取合和编排上做了精心的处理，淡化了某些理论性的证明，而注重介绍理论在实际中的应用。在教材中有大量例题，它们有层次地使学生由了解概念、深化概念，直至引发进一步思考。“深入浅出”是编写教材的指导思想，期望能得到读者的认可。

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

本教材适合于高等院校计算机专业专修科的学生使用，也适合于函授大学、职工大学、高职高专、成人教育的计算机专业的学生使用。

第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 生成函数

习题

参考文献