离散数学又称离散结构，是研究离散对象的模型、性质及操作的一门学科，是现代数学的一个重要组成部分，是计算机科学与技术的理论基础。本书依据ACM和IEEECS发布的CC2005教程，以及教育部高等学校计算机科学与技术教学指导委员会制订的计算机科学与技术专业规范，着力使内容和知识体系的设计达到理论与实际结合、抽象与直观统一、局部与整体协调。全书共9章，主要内容包括集合、关系、函数、命题逻辑、谓词逻辑、半群和群、环和域、格和布尔代数、图、树等。 本书体系严谨、结构新颖、内容翔实，可作为高等院校计算机及相关专业本