本书是作者团队结合多年教学实践经验与科学研究成果，在力求通俗易懂、简明扼要的指导思想下编写而成的。本书共11章，内容包含数理逻辑、集合与关系、函数、代数结构、图和树等。本书体系严谨、文字精练、内容充实、例题丰富，配套丰富的教学资源，适合高校教学使用。除此之外，本书综合国内外离散数学的相关新资料，采用双语的形式，从而培养读者的外文科技文献阅读能力。 本书适合高等院校计算机及相关专业作为“离散数学”课程的教材使用，也可以作为对离散数学感兴趣的读者的入门参考用书。本书封面贴有清华大学出版社防伪标签，无标签者不得销售。

成科扬，江苏大学计算机学院副教授，中国多媒体专委会委员。

前言 离散数学是现代数学的重要分支，也是计算机科学与技术、网络工程、软件工程等专业的核心课程。它为计算机专业的数据结构、操作系统、编译原理、算法设计与分析、数字电路、密码学基础、人工智能等课程提供了必要的数学基础。 离散这个概念是和连续相对应的，高等数学中第一章是“函数与极限”，这就是一个连续概念的体现。在现实中，我们发现连续的问题更常见，那么我们为什么要学习离散数学呢？因为计算机的运算是离散型（以二进制为基础）的，也就是说，计算机通常只能用离散的数据模仿连续的数据，而不能做到真正的连续，故而对计算机而言，离散就是它们理解数学的方式。简而言之，我们可以把离散数学理解为数学和计算机之间的桥梁。离散数学在计算机学科中有着许多的应用，比如，笛卡儿积在数据库中具有无可替代的作用，离散结构与算法思考反映出数据结构的结构知识，而近年大热的人工智能领域、以逻辑数学为推理基础的逻辑推理也是其重点研究的内容。离散数学在计算机学科中正发挥着越来越大的作用，以离散数学作为计算机学科研究的依据与方法，可以促进计算机学科逐渐趋于完善。因此，我们应该重视离散数学在计算机学科中的作用，学好离散数学对后续相关方面的研究有着十分重大的意义。 离散数学涉及内容较多，本书共分为数理逻辑、集合论、代数结构和图论4篇，共11章。第1章和第2章分别介绍命题逻辑和谓词逻辑的基本概念、推理理论及应用等；第3章和第4章主要介绍离散结构的集合表示，讨论了集合、关系和函数的各种运算、性质、表示方法及应用；第5章~第7章主要介绍代数结构，包括代数系统、群、格与布尔代数；8~11章主要介绍离散结构的图形表示，即图论，包括图、欧拉...