离散数学是高等院校理工科计算机专业必修的专业基础课程，主要内容包括集合论、代数结构、图论、数理逻辑和组合计数初步。本书在叙述上深入浅出，简明扼要，并以众多的实例解释概念，使抽象理论转化为直观的认识，易教易学，是一本适用性较强的教材。

目录
第4版前言
第3版前言
第1章集合
11集合的基本概念
111集合的表示方法
112子集
113幂集
12集合的运算
第1章综合练习
第2章二元关系
21二元关系及其表示方法
211集合的笛卡儿乘积
212二元关系的定义
213关系的三种表示方法
22关系的基本类型
23等价关系和划分
231等价关系
232等价类
233集合的划分
24相容关系和覆盖
241相容关系
242覆盖
25偏序关系
26复合关系和逆关系
27关系的闭包运算
第2章综合练习
第3章函数
31函数的定义
32特殊函数
33复合函数和逆函数
第3章综合练习
第4章代数结构
41代数系统
42特殊运算和特殊元素
43同构
44半群
45群的定义和性质
46子群
47循环群
48置换群
49陪集和拉格朗日定理
410群码
411环和域
412格
4121格和子格
4122格和偏序集
4123分配格
4124有界格
4125有补格
第4章综合练习
第5章图论
51图的基本概念
52通路和赋权图的最短通路
521通路和回路
522赋权图的最短通路
53图和矩阵
54欧拉图
55哈密顿图
56中国邮路问题和旅行售
货员问题
57二部图
58平面图
59无向树
510有向树
第5章综合练习
第6章命题逻辑
61命题和联结词
62真值表和逻辑等价
63永真蕴含式
64推理理论
65范式
651析取范式和主析取范式
652合取范式和主合取范式
第6章综合练习
第7章谓词逻辑
71谓词
72命题函数和量词
721命题函数
722量词
723谓词合式
73约束元和自由元
74等价式和蕴含式
75谓词演算的推理理论
第7章综合练习
第8章组合计数初步
81排列与组合
82包含排斥原理
83递推关系与生成函数
831递推关系
832齐次常系数线性递推关系
833非齐次常系数线性递推关系
834生成函数
第8章综合练习
参考文献〖＝（〗1112341214141415162029293334363639404650535656575963656567737680838689929598101101103107109110112115115120120121130133136140143147155157162165165169173174180180184188190190191191191194195197201204205205206209209209213218223225〖＝〗