前言
离散数学是计算机类专业的重要专业基础课程，研究离散结构和相互关系的理论和方法，在专业教学的课程体系中具有重要的理论支撑作用。离散数学的综合、分析、推理等方法，在计算机科学的理论研究和技术开发中有着广泛的应用。在面向产出的人才培养课程体系中，离散数学对工程认证12条毕业要求中的工程知识、问题分析和研究具有重要支撑作用。
本书特点
本书特别适合计算机类本科专业使用，开设本课程时（第三、第四学期），学生已经有了基本的程序设计能力，相关问题分析和解决方案融合了程序算法，引导学生上机编程验证。
在传统的离散数学内容基础上，本书增加了预备知识一章，包括矩阵和组合数学基础。相关章节增加了算法和程序实例，便于学生深入理解。
内容和学时安排
第1章： 预备知识，介绍矩阵知识和组合数学基础。安排2学时。
第2章： 集合论，介绍集合的表示、关系、运算、序偶和容斥原理。安排2学时。 
第3章： 命题逻辑，介绍命题基本概念、命题联结词、命题公式、命题逻辑等值演算、范式和命题逻辑的推理。安排6学时。 
第4章： 谓词逻辑，介绍谓词逻辑基本概念、谓词公式、谓词公式等值演算、前束范式和谓词逻辑推理。安排6学时。 
第5章： 关系，介绍关系基本知识、关系的运算、关系的性质等。安排4学时。 
第6章： 特殊关系，介绍等价关系、偏序关系和函数。安排4学时。 
第7章： 图论基础，介绍图论的经典问题、图论基本知识、图的同构、图的连通性问题。安排6学时。 
第8章： 特殊图，介绍欧拉图、哈密尔顿图、平面图、无向树、根树。安排4学时。 
第9章： 代数系统，介绍代数的基本概念，代数运算性质、特殊元素、代数系统的同态、子代数等。安排6学时。
第10章： 群，介绍了半群、独异点、群的基本概念、循环群、置换群、陪集和拉格朗日定理、正规子群和商群。安排6学时。 
第11章： 环域格，介绍了特殊代数系统环、域、格和布尔代数。安排2学时。
特别说明，如果数据结构课程开设在先，第8章树的内容适当讲解。第10章置换群、陪集、正规子群等内容可以依据学生的基础选择性讲解。
本书分工如下： 第1章和第2章由曹梦云、罗方芳老师编写，第3章和第4章由罗方芳、黄敏、刁林老师编写，第5章和第6章由苏锦河、汪志华老师编写，第7章和第8章由孙海梦、汪志华、浦云明老师编写，第9～11章由林源洪、黄敏、浦云明老师编写。黄敏老师负责了全书预审工作，全书策划和定稿由浦云明负责。
在本书的规划和编写中，得到了学校教务处、计算机工程学院领导和相关老师的大力支持，并给出了许多宝贵意见，深表感谢；清华大学出版社卢先和、龙启铭先生及相关人员对本书的出版付出了大量心血，一并致以衷心感谢。
由于时间仓促，作者水平有限，书中定存在不足之处，恳请专家、同行和读者批评指正。

编  者
2022年5月