本书可作为高等院校面向21世纪的信息计算专业和计算机专业离散数学课程教材，全书共五篇。第一篇数理逻辑，内容包括命题逻辑和谓词逻辑；第二篇集合论，内容包括集合、关系、三种重要的关系、序数与基数；第三篇数论，内容包括整除与同余、同余式与原根；第四篇代数系统，内容包括代数系统及运算性质、半群与群、环和域、格与布尔代数；第五篇图论，内容包括图的基本概念及图的连通性、图的行遍性与匹配、树与平面图。

通过本书的学习，使学生掌握离散数学的基本概念和理论，一方面为学习计算机与计算科学方面的后续课程提供必要的数学基础。另一方面，培养和提高学生的抽象思维和逻辑推理能力，从而提高学生分析和解决实际问题的技能。

全书共五篇。第一篇数理逻辑，内容包括命题逻辑和谓词逻辑；第二篇集合论，内容包括集合、关系、三种重要的关系、序数与基数；第三篇数论，内容包括整除与同余、同余式与原根；第四篇代数系统，内容包括代数系统及运算性质、半群与群、环和域、格与布尔代数；第五篇图论，内容包括图的基本概念及图的连通性、图的行遍性与匹配、树与平面图。

第一篇 数理逻辑

第一章 命题逻辑

第二章 谓词逻辑

第二篇 集合论

第三章 集合

第四章 关系

第五章 三种重要的关系

第六章 序数与基数

第三篇 数论

第七章 整除与同余

第八章 同余式与原根

第四篇 代数系统

第九章 代数系统及运算性质

第十章 半群与群

第十一章 环和域

第十二章 格与布尔代数

第五篇 图论

第十三章 图的基本概念及图的连通性

第十四章 图的行遍性与匹配

第十五章 树与平面图

参考文献