本书是根据教育部高等理工院校离散数学课程教学大纲的基本要求和硕士研究生入学考试的基本要求编写而成。 全书内容包含数理逻辑、集合论、代数系统和图论4个部分，共分8章：命题逻辑、谓词逻辑、集合论、二元关系、函数、代数系统、格与布尔代数、图论等。每章给出了知识结构图、疑难解惑、典型例题与考研题分析、重要习题精选精解、两级训练题等5个板块内容。书中例题分析细致，解答完整，有助于读者掌握解题方法和技巧。此外，附录中给出了期中、期末考试试题各一套和两套考研模拟试题(均附有参考答案)以及各章训练题的参考答案。 本书可作为课程学习与复习迎考(课程考试或硕士研究生入学考试)的复习用书，以及高等院校师生离散数学的教学参考书。

目 录
第1章 命题逻辑 1
1.1 本章知识结构图 1
1.2 疑难解惑 2
1.3 典型例题与考研题分析 5
1.3.1 典型例题分析 5
1.3.2 考研题分析 10
1.4 重要习题精选精解 14
1.5 两级训练题 20
1.5.1 达标训练题 20
1.5.2 考研挑战题 22
第2章 谓词逻辑 24
2.1 本章知识结构图 24
2.2 疑难解惑 25
2.3 典型例题与考研题分析 28
2.3.1 典型例题分析 28
2.3.2 考研题分析 34
2.4 重要习题精选精解 40
2.5 两级训练题 48
2.5.1 达标训练题 48
2.5.2 考研挑战题 49
第3章 集合论 51
3.1 本章知识结构图 51
3.2 疑难解惑 52
3.3 典型例题与考研题分析 55
3.3.1 典型例题分析 55
3.3.2 考研题分析 61
3.4 重要习题精选精解 68
3.5 两级训练题 74
3.5.1 达标训练题 74
3.5.2 考研挑战题 75
第4章 二元关系 76
4.1 本章知识结构图 76
4.2 疑难解惑 76
4.3 典型例题与考研题分析 81
4.3.1 典型例题分析 81
4.3.2 考研题分析 88
4.4 重要习题精选精解 95
4.5 两级训练题 102
4.5.1 达标训练题 102
4.5.2 考研挑战题 103
第5章 函数 105
5.1 本章知识结构图 105
5.2 疑难解惑 106
5.3 典型例题与考研题分析 109
5.3.1 典型例题分析 109
5.3.2 考研题分析 115
5.4 重要习题精选精解 121
5.5 两级训练题 127
5.5.1 达标训练题 127
5.5.2 考研挑战题 128
第6章 代数系统 130
6.1 本章知识结构图 130
6.2 疑难解惑 130
6.3 典型例题与考研题分析 135
6.3.1 典型例题分析 135
6.3.2 考研题分析 141
6.4 重要习题精选精解 148
6.5 两级训练题 154
6.5.1 达标训练题 154
6.5.2 考研挑战题 155
第7章 格与布尔代数 156
7.1 本章知识结构图 156
7.2 疑难解惑 157
7.3 典型例题与考研题分析 161
7.3.1 典型例题分析 161
7.3.2 考研题分析 166
7.4 重要习题精选精解 171
7.5 两级训练题 175
7.5.1 达标训练题 175
7.5.2 考研挑战题 176
第8章 图论 177
8.1 本章知识结构图 177
8.2 疑难解惑 178
8.3 典型例题与考研题分析 183
8.3.1 典型例题分析 183
8.3.2 考研题分析 188
8.4 重要习题精选精解 194
8.5 两级训练题 199
8.5.1 达标训练题 199
8.5.2 考研挑战题 200
附录A 期中考试试题及其答案 202
附录B 期末考试试题及其答案 206
附录C 考研模拟试题一及其答案 209
附录D 考研模拟试题二及其答案 212
附录E 各章两级训练题答案 215
参考文献 255