本书是根据清华大学出版社与中国计算机学会共同规划的“21世纪大学本科计算机专业系列教材”《离散数学习题解答与学习指导（第4版）》（主教材）以及电子教案编写的配套教学指导用书。全书分为14章，每章包含内容提要、习题、习题解答与分析三部分。内容提要总结了本章的主要定义、定理、公式、重要的结果等；习题部分包含了与上述内容配套的数十道题；习题解答与分析部分不但对上述习题给出了详细的解答，而且对一些典型的解题方法做了比较深入的分析和总结。总计超过500道题，涵盖了数理逻辑、集合论、图论、组合数字、数论、离散概率、代数结构等不同模块的基本内容和典型的解题方法。
本书既可以作为主教材的配套教学用书，也可以单独使用，为学习离散数学的读者在解题能力和技巧的训练方面提供有益的帮助。

刘田，北京大学计算机学院副教授。从事离散数学、算法设计与分析和理论计算机科学的教学与研究工作二十余年。出版离散数学、算法设计与分析和计算理论教材和译著多部。两次获得北京大学教学优秀奖。

第1章 数学语言与证明方法
1.1 内容提要
1.2 习题
1.3 习题解答与分析
第2章 命题逻辑
2.1 内容提要
2.2 习题
2.3 习题解答与分析
第3章 一阶逻辑
3.1 内容提要
3.2 习题
3.3 习题解答与分析
第4章 关系
4.1 内容提要
4.2 习题
4.3 习题解答与分析
第5章 函数
5.1 内容提要
5.2 习题
5.3 习题解答与分析
第6章 图
6.1 内容提要
6.2 习题
6.3 习题解答与分析
第7章 树及其应用
7.1 内容提要
7.2 习题
7.3 习题解答与分析
第8章 组合计数基础
8.1 内容提要
8.2 习题
8.3 习题解答与分析
第9章 容斥原理
9.1 内容提要
9.2 习题
9.3 习题解答与分析
第10章 递推方程与生成函数
10.1 内容提要
10.2 习题
10.3 习题解答与分析
第11章 初等数论
11.1 内容提要
11.2 习题
11.3 习题解答与分析
第12章 离散概率
12.1 内容提要
12.2 习题
12.3 习题解答与分析
第13章 初等数论和离散概率的应用
13.1 内容提要
13.2 习题
13.3 习题解答与分析
第14章 代数系统
14.1 内容提要
14.2 习题
14.3 习题解答与分析
参考文献