本书是“十二五”普通高等教育本科国家级规划教材｡全书共分4篇:第1篇为数理逻辑,包括命题逻辑､谓词逻辑;第2篇为集合论,包括集合､二元关系､函数､集合的基数;第3篇为代数结构,包括代数系统､群论初步､格与布尔代数;第4篇为图论,包括图的基本概念､图的连通性､图的矩阵表示､特殊图｡本书每章均有本章小结､相关知识点思维形式注记图和扩展阅读,每篇均有本篇重难点解析与实验及知识逻辑结构图,力图在内容､体例等方面形成新的模式｡
本书可作为高等学校计算机及相关专业离散数学课程教材,也可供相关教学､科研人员与工程技术人员参考｡
本书共分4篇，第1篇为数理逻辑，包括命题逻辑和谓词逻辑；第2篇为集合论，包括集合、二元关系、函数、集合的基数；第3篇为代数结构，包括代数系统、群论初步、格与布尔代数；第4篇为图论，包括图的基本概念、图的连通性、图的矩阵表示、特殊图。本书演绎铺展的路径为:全书概述—篇引论（树形类化图）—章粗概图—章应用概图—按节展开（核心知识点、嵌入思维形式注记图、每节小结）—章习题类化（常见题典型解析）—章知识逻辑结构图—扩展阅读—习题—篇重难点解析与实验（含视频讲解）—篇知识逻辑结构图。另外，为了便于使用本书进行教学，专门提供了精心制作的课件。
