本书是创新方法工作专项项目“科学思维、科学方法在高等学校教学创新中的应用与实践——KM教学法的研究与实践”的主要研究成果之一。本书共分4篇：第1篇为数理逻辑，包括命题逻辑和谓词逻辑；第2篇为集合论，包括集合、二元关系、函数、集合的基数；第3篇为代数结构，包括代数系统、群论初步、格与布尔代数；第4篇为图论，包括图的基本概念、图的连通性、图的矩阵表示和特殊图等。本书每章均有本章小结、相关知识点的思维形式注记图和扩展阅读，每篇均有本篇知识逻辑结构图，力图在内容、体例等方面形成新的模式。
本书可作为高等学校计算机及相关专业离散数学课程教材，也可供相关的教学科研人员与工程技术人员参考。
