本书根据IEEECS/ACM Computing Curricula 2013的要求，系统地阐述离散数学的经典内容. 全书共9章，内容包括: 集合、映射与运算，关系，命题逻辑，谓词逻辑，初等数论，图论，几类特殊的图，组合计数，代数结构. 各章的每一节都提供了精选的习题，书后提供了部分习题的答案及提示. 本书以集合、映射、运算和关系为主线，内容联系紧密，逻辑性强，叙述详尽，通俗易懂，结构严谨，逻辑清晰，便于自学. 本书可作为高等学校计算机及相关专业离散数学课程的教材，也可供参加相关专业硕士研究生入学考试者及程序员参考.

贴近教学，配套丰富 、循序渐进，由浅入深、实例精讲，理解深刻。

前言 离散数学是研究离散量的结构及关系的学科,它的研究对象与计算机所处理的对象一致. 离散数学是教育部2009年发布的“高等学校计算机科学与技术专业核心课程教学实施方案”中的8门核心课程(程序设计语言、离散数学、数据结构与算法、计算机组成原理、操作系统、计算机网络、数据库和软件工程)之一，在计算机科学与技术专业教学体系中起着重要的基础理论支撑作用. 本书自出版以来被多所高校选用，已多次印刷，并于2012年入选普通高等教育“十二五”国家级规划教材.根据教育部的要求，入选教材应持续修订完善，及时补充反映最新知识、技术和成果的内容，与时俱进.为此，编者根据全国高等学校“培养计算机类专业学生解决复杂工程问题能力”研究组的研究成果《培养计算机类专业学生解决复杂工程问题能力》和教育部计算机类教学指导委员会制定的《计算机类专业教学质量国家标准》，对本书第3版做了如下修订: (1) 在第1章给出了常见的证明方法: 直接法、举反例法、数学归纳法和反证法等. (2) 将初等数论知识从第3版的第1章和第2章中抽出来，并进行了系统化，单独作为第5章。这主要是为了突出数论的重要性，也是为了让第1章和第2章更集中于集合论知识的讲解. (3) 考虑到大多数学校的学时和教学情况，精简了代数结构的内容，并将其调整到本书的最后，作为第9章. 本着离散数学为计算机科学与技术专业的其他专业课程(如数据结构、操作系统、计算机组成原理、数据库原理、算法设计与分析、编译原理、软件工程、计算机网络、人工智能、形式语言与自动机等)的学习提供必要数学基础的原则，全书共分9章，主要内容为: 集合、映射与运算，关系，...