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

前言 离散数学是研究离散量的结构及其关系的学科,它的研究对象与当今计算机处理的对象一致. “离散数学”是教育部2009年发布的“高等学校计算机科学与技术专业核心课程教学实施方案”中的8门核心课程之一，也是教育部2021年启动的计算机领域本科教育教学改革试点工作计划（简称“101计划”）计算机专业12门核心课程之一，在计算机类专业知识体系中起着重要的基础理论支撑作用. 本书自出版以来被多所高校选用，已多次印刷，于2012年入选“十二五”普通高等教育本科国家级规划教材，于2020年入选重庆市重点建设教材.根据教育部的要求，入选教材应持续修订完善，及时补充反映最新知识、技术和成果的内容，与时俱进.为此，编者根据ACM/IEEECS/Computing Curricula 2020、ACM/IEEECS/AAAI CS 2023、《高等学校计算机科学与技术专业核心课程教学实施方案》、《中国软件工程知识体系CSWEBOK》、《培养计算机类专业学生解决复杂工程问题的能力》等，对本书第4版做了如下修订. (1) 在第3章给出了逻辑蕴涵的命题公式有关内容，与推理规划做了一定区分等. (2) 在第4章增加了“常用证明方法”小节. (3) 重新改写了9.2节有关内容. 本着“离散数学”为计算机类专业课程(如数据结构、操作系统、计算机组成原理、数据库原理、算法设计与分析、编译原理、软件工程、计算机网络、人工智能、形式语言与自动机等)的学习提供必要数学基础的原则，全书共分9章，主要内容为集合、映射与运算，关系，命题逻辑，谓词逻辑，初等数论，图论基础，几类特殊的图，组合计...