离散数学又称离散结构，是研究离散对象的模型、性质及操作的一门学科，是现代数学的一个重要分支，是计算机学科和新一代信息技术的理论基础和工具。本书依据ACM和IEEECS发布的CC2020教程，以及教育部高等学校计算机科学与技术教学指导委员会制定的计算机科学与技术专业规范，着力使内容和知识体系的设计达到理论与实际结合、抽象与直观统一、局部与整体协调。全书共9章，主要内容包括集合、关系、函数、命题逻辑、谓词逻辑、半群和群、环和域、格和布尔代数、图、树等。本书从计算机科学、密码学、通信等领域提取了大量由浅入深的案例，帮助读者掌握离散数学的概念和方法，通过实际问题的建模、分析和求解，帮助读者领会离散数学在计算机科学等领域的应用，同时引领读者探索离散数学的新应用。 本书体系严谨，结构新颖，内容翔实，可作为高等院校计算机及相关专业本科生、研究生“离散数学”课程的教材，也可作为从事计算机及相关领域研究和应用开发人员的参考用书。