本书是根据中国计算机学会“21世纪大学本科计算机专业系列教材”《离散数学》以及电子教案编写的配套教学指导用书。全书分为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 习题解答与分析