本书为第2版，本版书在原书的基础上将初等数论知识融入在第1章和第2章，在第1章中加入了数论的基本内容，同时还给出了常见的证明方法：直接法、举反例法、数学归纳法和反证法等；在第2章中，将整数集合Z上的整除、模同余关系作为Z上的关系，很自然地引入，同时还介绍了线性同余方程或线性同余方程组。本书在教材的基础上，对其中的每个题目都进行了详尽的解答，希望能便于大家做完练习后参考，能起到举一反三、加深对课本内容的学习和理解的作用，也为自学者提供方便，书末附有两套自测题及其参考答案。

清华大学出版社出版的《离散数学(第2版)》(ISBN 978-7-302-21193-8)是一本介绍离散数学经典内容的教材，全书共分8章，分别介绍集合、映射与运算，关系，命题逻辑，谓词逻辑，代数结构，图论，几类特殊的图及组合计数。每节后面都有精选习题，本书是其教学辅导用书，对教材中的每个题目都给出了详尽的解答。

本书适合于选用清华大学出版社出版的《离散数学（第2版）》的广大师生作为辅导用书，也可供计算机专业考研学生、程序员及相关专业技术人员参考。目前，已经完成10套考试用套题。

第1章 集合、映射与运算1

 1.1 集合的有关概念1

【习题1.1】1

 1.2 映射的有关概念3

【习题1.2】3

 1.3 运算的定义及性质6

【习题1.3】6

 1.4 集合的运算10

【习题1.4】10

 1.5 集合的划分与覆盖14

【习题1.5】14

 1.6 集合对等16

【习题1.6】16

第2章 关系18

 2.1 关系的概念18

【习题2.1】18

 2.2 关系的运算23

【习题2.2】23

 2.3 关系的性质25

【习题2.3】25

 2.4 关系的闭包28

【习题2.4】28

 2.5 等价关系31

【习题2.5】31

 2.6 相容关系36

【习题2.6】36

 2.7 偏序关系38

【习题2.7】38

第3章 命题逻辑43

 3.1 命题的有关概念43

【习题3.1】43

 3.2 逻辑联结词44

【习题3.2】44

 3.3 命题公式及其真值表45

【习题3.3】45

 3.4 逻辑等值的命题公式49

【习题3.4】49

 3.5 命题公式的范式57

【习题3.5】57

 3.6 联结词集合的功能完备性64

【习题3.6】64

 3.7 命题逻辑中的推理66

【习题3.7】66

第4章 谓词逻辑72

 4.1 个体、谓词、量词和函词72

【习题4.1】72

 4.2 谓词公式及命题的符号化73

【习题4.2】73

 4.3 谓词公式的解释及类型76

【习题4.3】76

 4.4 逻辑等值的谓词公式81

【习题4.4】81

 4.5 谓词公式的前束范式83

【习题4.5】83

 4.6 谓词逻辑中的推理85

【习题4.6】85

第5章 代数结构91

 5.1 代数结构简介91

【习题5.1】91

 5.2 群93

【习题5.2】93

 5.3 环和域97

【习题5.3】97

 5.4 格与布尔代数102

【习题5.4】102

第6章 图论107

 6.1 图的基本概念107

【习题6.1】107

 6.2 节点的度数109

【习题6.2】109

 6.3 子图、图的运算和图同构111

【习题6.3】111

 6.4 路与回路113

【习题6.4】113

 6.5 图的连通性116

【习题6.5】116

 6.6 图的矩阵表示119

【习题6.6】119

 6.7 赋权图及最短路径122

【习题6.7】122

第7章 几类特殊的图124

 7.1 欧拉图124

【习题7.1】124

 7.2 哈密尔顿图127

【习题7.2】127

 7.3 无向树130

【习题7.3】130

 7.4 有向树134

【习题7.4】134

 7.5 平面图139

【习题7.5】139

 7.6 平面图的面着色143

【习题7.6】143

 7.7 二部图及其匹配144

【习题7.7】144

第8章 组合计数147

 8.1 排列组合与二项式定理147

【习题8.1】147

 8.2 生成函数148

【习题8.2】148

 8.3 递归关系149

【习题8.3】149

附录A 自测题1154

附录B 自测题1参考答案156

附录C 自测题2158

附录D 自测题2参考答案160