《离散数学及应用》是国家级一流本科课程“离散数学”[线上一流课程，主要开课平台是爱课程（中国大学MO0C）]的指定教材。本书是该教材的配套学习用书，全书共10章，与《离散数学及应用（第3版）》的结构完全对应。
本书给出了《离散数学及应用（第3版）》中各章节习题的全部解答，同时提供了大量补充习题。此外，每章的开头还提供了本章的知识结构图。本书有两个附录，分别是“参考教学内容与课时安排”及“课程综合实验”，这些内容可以看作对《离散数学及应用（第3版）》的有益补充。
本书不仅适合作为高等院校计算机或软件工程专业本科生或研究生相关课程教材，也可供其他专业学生和科技人员阅读参考。

第1章 基础知识
1.1 集合与序列
1.1.1 内容提要
1.1.2 主教材习题参考解答
1.2 数论基础
1.2.1 内容提要
1.2.2 主教材习题参考解答
1.3 计数基础
1.3.1 内容提要
1.3.2 主教材习题参考解答
1.4 布尔矩阵及其运算
1.4.1 内容提要
1.4.2 主教材习题参考解答
1.5 补充习题及参考解答
第2章 命题逻辑
2.1 命题逻辑的基本概念
2.1.1 内容提要
2.1.2 主教材习题参考解答
2.2 命题公式及其分类
2.2.1 内容提要
2.2.2 主教材习题参考解答
2.3 命题逻辑的等值演算
2.3.1 内容提要
2.3.2 主教材习题参考解答
2.4 对偶与范式
2.4.1 内容提要
2.4.2 主教材习题参考解答
2.5 命题联结词的完备集
2.5.1 内容提要
2.5.2 主教材习题参考解答
2.6 命题逻辑的推理
2.6.1 内容提要
2.6.2 主教材习题参考解答
2.7 补充习题及参考解答
第3章 谓词逻辑
3.1 谓词与量词
3.1.1 内容提要
3.1.2 主教材习题参考解答
3.2 谓词公式及分类
3.2.1 内容提要
3.2.2 主教材习题参考解答
3.3 自然语言形式化
3.3.1 内容提要
3.3.2 主教材习题参考解答
3.4 谓词逻辑的等值演算
3.4.1 内容提要
3.4.2 主教材习题参考解答
3.5 前束范式
3.5.1 内容提要
3.5.2 主教材习题参考解答
3.6 谓词逻辑的推理
3.6.1 内容提要
3.6.2 主教材习题参考解答
3.7 补充习题及参考解答
第4章 二元关系
4.1 关系及其表示
4.1.1 内容提要
4.1.2 主教材习题参考解答
4.2 关系的运算
4.2.1 内容提要
4.2.2 主教材习题参考解答
4.3 关系的性质
4.3.1 内容提要
4.3.2 主教材习题参考解答
4.4 关系的闭包
……
第5章 函数
第6章 偏序关系、偏序集与格
第7章 代数结构
第8章 图论
第9章 树及其应用
第10章 形式语言、自动机与正则表达式
附录A 参考教学内容与课时安排
附录B 课程综合实验参考文献