本书分为数理逻辑、集合论、代数结构和图论4个部分。其中数理逻辑部分描述一个符号化体系，这个体系可以描述集合论中的所有概念；集合论中有3个小模块，即集合、关系、函数，关系是集合中笛卡儿乘积的子集，函数是关系的子集；代数系统是定义函数的运算；图论是一类特殊的代数系统。本书适合作为高等院校软件工程专业和计算机专业离散数学课程的本科生教材，也可作为软件工程与计算机等相关专业的自学参考书。