第1章 集合论 1
1.1 基本概念及考点精要 1
1.2 典型例题、考题分析 11
1.3 自测题及模拟训练题 14
自测题参考答案 14
第2章 二元关系 17
2.1 基本概念及考点精要 17
2.2 典型例题、考题分析 31
2.3 自测题及模拟训练题 37
自测题参考答案 38
第3章 函数 45
3.1 基本概念及考点精要 45
3.2 典型例题、考题分析 50
3.3 自测题及模拟训练题 57
自测题参考答案 58
第4章 代数系统 62
4.1 基本概念及考点精要 62
4.2 典型例题、考题分析 73
4.3 自测题及模拟训练题 83
自测题参考答案 85
第5章 格 91
5.1 基本概念及考点精要 91
5.2 典型例题、考题分析 98
5.3 自测题及模拟训练题 102
自测题参考答案 103
第6章 图论 107
6.1 基本概念及考点精要 107
6.2 典型例题、考题分析 127
6.3 自测题及模拟训练题 134
自测题参考答案 135
第7章 树 142
7.1 基本概念及考点精要 142
第8章 命题逻辑 149
8.1 基本概念及考点精要 149
8.2 典型例题、考题分析 158
8.3 自测题及模拟训练题 168
自测题参考答案 170
第9章 谓词逻辑 180
9.1 基本概念及考点精要 180
9.2 典型例题、考题分析 191
9.3 自测题及模拟训练题 199
自测题参考答案 201
附录：硕士研究生入学考试全真模拟试卷及详解 208
模拟试卷一（北京师范大学2000年攻读硕士学位研究生入学考试试题） 208
模拟试卷二（北京师范大学2001年攻读硕士学位研究生入学考试试题） 214
模拟试卷三（中国科学院成都计算机应用研究所2001年试题） 221
模拟试卷四（西南交通大学2000年攻读硕士学位研究生入学考试试题） 227
模拟试卷五（西南交通大学2001年攻读硕士学位研究生入学考试试题） 234
模拟试卷六（中国人民大学信息学院2001年攻读硕士学位研究生入学考试试题） 240
模拟试卷七（中国人民大学信息学院2002年攻读硕士学位研究生入学考试试题） 245
模拟试卷八（西北工业大学2000年攻读硕士学位研究生入学考试试题） 249
模拟试卷九（西北工业大学2001年攻读硕士学位研究生入学考试试题） 255
模拟试卷十（北京大学2002年攻读硕士学位研究生入学考试试题） 260