离散数学是研究离散量的结构和相互间关系的学科，是计算机、软件工程等专业的理论基础。本书依据教育部计算机科学与技术教学指导委员会编制的《高等学校计算机科学与技术专业规范》和《高等学校计算机科学与技术专业核心课程教学实施方案》进行编写，简要介绍了离散数学的集合论、抽象代数、图论和数理逻辑4个部分，主要包括集合及其运算，关系，函数；代数系统，群、环和域，格和布尔代数；图与树，特殊图；命题逻辑，谓词逻辑等十章，“整数的整除与同余”一章作为预备知识供学习代数系统部分时参考。由于教材以集合论开头，便于学生学习时循序渐进，同时由于教材内容简明扼要，例题和习题多且包含一些实际应用问题，从而可以调动学生的学习积极性，培养学生的数学思维和解决实际问题的能力，为后续专业课程的学习奠定良好的基础。 本书是作者根据多年从事离散数学课程教学实践，并在参阅国内外优秀经典教材的基础上编写完成的。 主要特色如下： （1）内容简明扼要，便于自学； （2）符号统一规范； （3）例题侧重应用实际； （4）习题由易到难分层编排。