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