本书是国家精品课程“离散数学”的主讲教材，也是教育部高等理工教育教学改革与实践项目的研究成果。本书系统地介绍了数理逻辑与基本定理证明方法、二元关系、图论、代数系统与布尔代数中有关的概念、定理及其证明方法，既注重对基本概念的描述，又注重阐述离散数学的证明方法及其在计算机科学中的实际应用，并以课程设计和实验的方式举出大量的应用实例。本书还配有《离散数学实验与习题解析》及电子教案。 本书可作为高等学校计算机科学与技术专业离散数学课程教材，也可作为其他相关专业的离散数学课程教材。

本书是国家精品课程“离散数学”的主讲教材，也是教育部高等理工教育教学改革与实践项目的研究成果。本书系统地介绍了数理逻辑与基本定理证明方法、二元关系、图论、代数系统与布尔代数中有关的概念、定理及其证明方法，既注重对基本概念的描述，又注重阐述离散数学的证明方法及其在计算机科学中的实际应用，并以课程设计和实验的方式举出大量的应用实例。本书还配有《离散数学实验与习题解析》及电子教案。 本书可作为高等学校计算机科学与技术专业离散数学课程教材，也可作为其他相关专业的离散数学课程教材。