本书系统介绍了离散数学的基础定义、定理及性质等基础知识，着重引导学生认识离散数学与计算机专业课程之间的密切关系。例题选择在传统经典题型基础上尽可能靠近计算机专业所学内容。每章的算法思想描述尽可能让学生更直观地认识离散数学理论与计算机专业之间的联系，从而理解计算机思维。 全书共分为四部分: 第一部分（第1～3章）为集合论，着重介绍了集合、关系和映射；第二部分（第4、5章）为数理逻辑，着重介绍了命题逻辑和谓词逻辑;第三部分（第6～8章）为图论，着重介绍了图、欧拉图和哈密尔顿图、树、二部图和平面图等特殊图；第四部分（第9～11章）为代数系统，着重介绍了代数结构、环与域、格与布尔代数。每节后分级设计了课后习题，并附有题库平台，提供更多习题以及解答。 本书适合作为高等院校计算机相关专业本科生、大专生的教材或参考书，特别是作为离散数学教学改革探索者的教材或参考书。