本书内容主要讲授离散数学理论、方法及应用，包括四篇内容，共八章：数理逻辑（命题逻辑，谓词逻辑），集合轮（集合与关系，特殊关系及应用），代数系统（代数结构，格与布尔代数），图论（图，树）。为后续专业课提供数学基础、做理论奠基。为降低离散数学理论到后续专业课迁移转换的障碍，使学生体会到枯燥理论方法应用价值，教材融入了离散数学理论和方法在后续专业课衔接的应用，解决具体工程建模的案例等。本书可以作为普通理工科院校计算机及相关专业“离散数学”课程的教材或教学参考书。