本书共分为四篇：数理逻辑、集合论、代数系统、图论；主要内容包括6个章节：命题逻辑、谓词逻辑、集合与关系、函数、代数系统、图论。书中知识点论述清楚，讲解通俗易懂，例题和习题全面、工程应用案例内容丰富，能够培养学生运用这些离散数学方法和思维建立数学模型的能力，并逐步树立计算机建模意识。