目录 1
第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.1本章知识结构图 51
第3章集合论 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.2疑难解惑 76
4.1本章知识结构图 76
第4章二元关系 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.1典型例题分析 109
5.3 典型例题与考研题分析 109
5.3.2考研题分析 115
5.4重要习题精选精解 121
5.5两级训练题 127
5.5.1达标训练题 127
5.5.2考研挑战题 128
6.1本章知识结构图 130
6.2疑难解惑 130
第6章代数系统 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.1典型例题分析 161
7.3典型例题与考研题分析 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.1典型例题分析 183
8.3典型例题与考研题分析 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