本书是根据中国计算机学会“21世纪大学本科计算机专业系列教材”《离散数学》以及电子教案编写的配套教学指导用书。全书分为14章，每章包含内容提要、习题、习题解答与分析三部分。内容提要总结了本章的主要定义、定理、公式、重要的结果等；习题部分包含与上述内容配套的数十道题；习题解答与分析部分不但对上述习题给出了比较详细的解答，而且对一些典型的解题方法做了比较深入的分析和总结。解答的习题总计超过500道，涵盖了数理逻辑、集合论、图论、组合数学、数论、离散概率、代数结构等不同模块的基本内容和典型的解题方法。

本书既可以作为上述主教材的配套教学用书，也可以单独使用，为学习离散数学的其他读者在解题能力和技巧的训练方面提供有益的帮助。

本书是根据中国计算机学会“21世纪大学本科计算机专业系列教材”《离散数学》以及电子教案编写的配套教学指导用书。全书分为14章，每章包含内容提要、习题、习题解答与分析三部分。内容提要总结了本章的主要定义、定理、公式、重要的结果等；习题部分包含与上述内容配套的数十道题；习题解答与分析部分不但对上述习题给出了比较详细的解答，而且对一些典型的解题方法做了比较深入的分析和总结。解答的习题总计超过500道，涵盖了数理逻辑、集合论、图论、组合数学、数论、离散概率、代数结构等不同模块的基本内容和典型的解题方法。

本书既可以作为上述主教材的配套教学用书，也可以单独使用，为学习离散数学的其他读者在解题能力和技巧的训练方面提供有益的帮助。

第一章 数学语言与证明方法

第二章 命题逻辑

第三章 一阶逻辑

第四章 关系

第五章 函数

第六章 图

第七章 树及其应用

第八章 组合计数基础

第九章 容斥原理

第十章 递推方程与生成函数

第十一章 初等数论

第十二章 离散概率

第十三章 初等数论和离散概率的应用

第十四章 代数系统