本书系统地介绍了离散数学的基本内容。全书共分9章，内容包括命题逻辑、谓词逻辑、集合论、关系、函数与无限集、代数系统、布尔代数、图论、数论及组合计数基础。本书内容取舍得当，结构组织合理。各章均配有适量习题，便于读者巩固书中的概念和知识。 本书可作为计算机及相关专业的离散数学教材，供一般本科院校教学使用，也可作为其他类院校相关专业的离散数学教材和教学参考书。