本书是《离散数学(第六版)》(耿素云、屈婉玲、张立昂编著，清华大学出版社出版)一书的配套题解。

全书包括数理逻辑、集合论、图论、组合分析初步、代数结构以及形式语言与自动机初步6部分。每部分均包含内容提要、与本部分配套的习题、习题解答3方面内容。对每道题都做了较详细的解答与分析，对某些题还给出了不同的解法或指出容易犯的错误及犯错误的原因。

本书可作为与《离散数学（第六版）》配套的辅助教材，也可作为其他离散数学教材的参考书。

耿素云,北京大学信息科学技术学院教授，常年从事离散数学、概率统计、算法与计算复杂性理论的教学和研究，发表论文多篇。

目录

第1章命题逻辑1

内容提要1

习题6

习题解答11

第2章一阶逻辑28

内容提要28

习题31

习题解答34

第3章集合的基本概念和运算41

内容提要41

习题43

习题解答47

第4章二元关系和函数53

内容提要53

习题57

习题解答62

第5章图的基本概念71

内容提要71

习题74

习题解答77

第6章特殊的图86

内容提要86

习题88

习题解答91

第7章树97

内容提要97

习题99

习题解答101

第8章组合分析初步108

内容提要108

习题110

习题解答113

第9章代数系统简介128

内容提要128

习题134

习题解答139

第10章形式语言和自动机初步153

内容提要153

习题156

习题解答161

前言

随着《离散数学(第六版）》的出版, 本书作为其配套教学用书也做了相应的修订。根据主教材的更新, 本次修订主要对第10章做了较大的改动, 删除了部分题目, 添加了一些新题, 内容提要也做了相应的修改。其他几章仅对个别名词做了订正。

本书对《离散数学(第六版）》中的每道习题给出详细的解答, 解答中还常常包含解题的思路和需要注意的事项。这些对加深理解和掌握教材中的内容无疑都是很有益的。本书是《离散数学(第六版）》的配套教学用书, 也可以作为使用其他教材学习离散数学的参考书。

作者

2021年8月