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

第1章 集合、映射与运算
1.1 集合的有关概念
1.1.1 集合
1.1.2 子集
1.1.3 幂集
1.1.4 n元组
1.1.5 笛卡儿积
习题1.1
1.2 映射的有关概念
1.2.1 映射的定义
1.2.2 映射的性质
1.2.3 逆映射
1.2.4 复合映射
习题1.2
1.3 运算的定义及性质
1.3.1 运算的定义
1.3.2 运算的性质
习题1.3
1.4 集合的运算
1.4.1 并运算
1.4.2 交运算
1.4.3 补运算
1.4.4 差运算
1.4.5 对称差运算
习题1.4
1.5 集合的划分与覆盖
1.5.1 集合的划分
1.5.2 集合的覆盖
习题1.5
1.6 集合对等
1.6.1 集合对等的定义
1.6.2 无限集合
1.6.3 集合的基数
1.6.4 可数集合
1.6.5 不可数集合
1.6.6 基数的比较
习题1.6
本章小结
第2章 关系
2.1 关系的概念
2.1.1 n元关系的定义
2.1.2 二元关系
2.1.3 关系的定义域和值域
2.1.4 关系的表示
2.1.5 函数的关系定义
习题2.1
2.2 关系的运算
2.2.1 关系的集合运算
2.2.2 关系的逆运算
2.2.3 关系的复合运算
2.2.4 关系的其他运算
习题2.2
2.3 关系的性质
2.3.1 自反性
2.3.2 反自反性
2.3.3 对称性
2.3.4 反对称性
2.3.5 传递性
习题2.3
2.4 关系的闭包
2.4.1 自反闭包
2.4.2 对称闭包
2.4.3 传递闭包
习题2.4
2.5 等价关系
2.5.1 等价关系的定义
2.5.2 等价类
习题2.5
2.6 相容关系
2.6.1 相容关系的定义
第3章 命题逻辑
第4章 谓词逻辑
第5章 初等数论
第6章 图论基础
第7章 几类特殊的图
第8章 组合计数
第9章 代数结构