本书涉及数理逻辑、集合论、代数结构和图论4篇。各篇既相对独立又有机联系，既强调基本理论的描述，又注重离散数学的证明方法和离散数学在计算机中的应用，可作为高等学校计算机科学与技术及相关专业的教材，也可供从事计算机工作的科技人员和工程技术人员参考。

本书系统地介绍了离散数学的主要内容，包括数理逻辑、集合论、代数结构和图论4篇。各篇既相对独立又有机联系，既强调基本理论的描述，又注重离散数学的证明方法和离散数学在计算机中的应用。

本书在第1版的基础上，增加了相当数量且难度不同的例题和习题，并结合教学和实际需要引入了部分新的内容和应用实例。

本书可作为高等学校计算机科学与技术及相关专业的教材，也可供从事计算机工作的科技人员和工程技术人员参考。

出版说明

前言

第1篇 数理逻辑

第1章 命题逻辑

第2章 谓词逻辑

第2篇 集合论

第3章 集合

第4章 关系

第5章 函数

第3篇 代数结构

第6章 代数系统

第7章 羊群与群

第8章 环和域

第9章 格与布尔代数

第4篇 图论

第10章 图

第11章 欧拉图与哈密尔顿图

第12章 特殊图

参考文献