"本书将离散数学分为数理逻辑、集合论、代数系统和图论四部分，系统地介绍了命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图、特殊图中有关的定义、定理及证明方法，并给出了离散数学中不同知识点在计算机科学中的应用及上机实践指导。本书配有课后习题参考答案及电子教案。 本书结构严谨，逻辑清晰，示例丰富，可以作为高等学校计算机大类各专业“离散数学”必修课教材，也可以作为其他相关专业“离散数学”课程教材，还可以供从事计算机科学工作的科技人员及学生阅读与参考。 "