离散数学是计算机科学基础理论的核心课程，是高等院校计算机专业必修的重要的专业基础课程。本书介绍了离散数学的基础理论知识，全书共分11章：包括命题逻辑、谓词逻辑、集合、关系、函数、集合基数、图论、欧拉图和哈密尔顿图、特殊图、代数系统、布尔代数等内容。

本书在内容上安排合理、体系严谨，叙述力求深入浅出、简明扼要，书中配有典型例题和习题，并与计算机科学的理论和实践紧密结合。

本书可作为高等院校计算机及其相关专业的教材，也可供从事计算机工作的科学技术人员以及其相关人事使用或参考。

本书介绍了离散数学的基础理论知识，全书共分11章：包括命题逻辑、谓词逻辑、集合、关系、函数、集合基数、图论、欧拉图和哈密尔顿图、特殊图、代数系统、布尔代数等内容。

序

前言

第一部分 数理逻辑

第一章 命题逻辑

第二章 谓词逻辑

第二部分 集合论

第三章 集合

第四章 关系

第五章 函数

第六章 集合的基数

第三部分 图论

第七章 图

第八章 欧拉图和哈密尔顿图

第九章 特殊图

第四部分 代数系统

第十章 代数结构

第十一章 格与布尔代数

参考文献