本书是根据清华大学出版社与中国计算机学会共同规划的“21世纪大学本科计算机专业系列教材”《离散数学(第2版)》(主教材)以及电子教案编写的配套教学指导用书.全书分为l4章,每章包含内容提要、习题、习题解答与分析三部分.内容提要总结了本章的主要定义、定理、公式、重要的结果等;习题部分包含了与上述内容配套的数十道题;习题解答与分析部分不但对上述习题给出了详细的解答,而且对一些典型的解题方法做了比较深入的分析和总结.总计超过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章 递推方程与生成函数
第11章 初等数论
第12章 离散概率
第13章 初等数论和离散概率的应用
第14章 代数系统