离散数学是研究离散量的结构和相互间关系的学科，内容丰富，涉及面宽，具有三个最主要的特点：①以集合论为基础，②高度的抽象性，③推理的严密性，是计算机、软件工程等专业的理论基础。本书依据教育部计算机科学与技术教学指导委员会编制的《高等学校计算机科学与技术专业规范》和《高等学校计算机科学与技术专业核心课程教学实施方案》进行编写，简要介绍了离散数学的集合论、抽象代数、图论和数理逻辑4个部分，主要包括集合及其运算，关系，函数；代数系统，群、环和域，格和布尔代数；图与树，特殊图；命题逻辑，谓词逻辑等10章，“整数的整除与同余”一章作为预备知识供学习代数系统部分时参考。由于教材以集合论开头，便于学生学习时循序渐进，同时由于教材内容简明扼要，例题和习题多且包含一些实际应用问题，从而可以调动学生的学习积极性，培养学生的数学思维和解决实际问题的能力，为后续专业课程的学习奠定良好的基础。

本书是作者根据多年从事离散数学课程教学实践，并在参阅国内外优秀经典教材的基础上编写完成的。 主要特色如下：

（1）内容简明扼要，便于自学。

（2）符号统一规范，培养严谨的数学思维方式。

（3）精选例题，侧重解决应用问题。

（4）丰富习题，由易到难分层编排。

（5）注重抽象思维能力的培养，促进推理技能的提高、逻辑抽象的深入、思维方式的严谨和理解能力的增强，提高解决实际问题的能力。

教学资源：

    讲授本教材的基本部分约需64-80学时，教材还配有电子教案以及与教材配套的习题解答。本书的PPT电子教案可以免费从清华大学出版社官网http://www.tup.com.cn下载。