本书是《离散数学（第六版）》（耿素云、屈婉玲、张立昂编著，清华大学出版社出版）一书的配套题解。
全书包括数理逻辑、集合论、图论、组合分析初步、代数结构以及形式语言与自动机初步6部分。每部分均包含内容提要、与本部分配套的习题、习题解答3方面内容。对每道题都做了较详细的解答与分析，对某些题还给出了不同的解法或指出容易犯的错误及犯错误的原因。
本书可作为与《离散数学（第六版）》配套的辅助教材，也可作为其他离散数学教材的参考书。

屈婉玲，北京大学信息科学技术学院教授、博士生导师，中国人工智能学会离散数学专委会委员。主要研究方向是算法设计与分析，发表论文20余篇，出版教材、教学参考书、译著20余部，其中包含多部国家级规划教材和北京市精品教材。所讲授的离散数学课程被评为国家精品课程，两次被评为北京大学十佳教师，并获得北京市优秀教师称号。曾主持过多项国家教材和课程建设项目，并获得北京市教育教学成果（高等教育）一等奖。

第1章 命题逻辑
内容提要
习题
习题解答
第2章 一阶逻辑
内容提要
习题
习题解答
第3章 集合的基本概念和运算
内容提要
习题
习题解答
第4章 二元关系和函数
内容提要
习题
习题解答
第5章 图的基本概念
内容提要
习题
习题解答
第6章 特殊的图
内容提要
习题
习题解答
第7章 树
内容提要
习题
习题解答
第8章 组合分析初步
内容提要
习题
习题解答
第9章 代数系统简介
内容提要
习题
习题解答
第10章 形式语言和自动机初步
内容提要
习题
习题解答