第1章 集合论 1
1.1 考试要点 1
1.2 基础题 2
1.3 提高题 4
第2章 二元关系 6
2.1 考试要点 6
2.2 基础题 7
2.3 提高题 15
第3章 函数 21
3.1 考试要点 21
3.2 基础题 23
3.3 提高题 30
第4章 命题逻辑 35
4.1 考试要点 35
4.2 基础题 35
4.3 提高题 44
第5章 谓词逻辑 58
5.1 考试要点 58
5.2 基础题 58
5.3 提高题 68
第6章 自然推理系统6.1 考试要点 83
6.2 基础题 84
6.3 提高题 94
第7章 图论 123
7.1 考试要点 123
7.2 基础题 123
7.3 提高题 135
第8章 硕士研究生入学考试试题1．北京大学2005年硕士研究生入学考试试题 142
2．北京航空航天大学2005年硕士研究生入学考试试题 143
3．北京理工大学2005年硕士研究生入学考试试题 144
4．北京理工大学2004年硕士研究生入学考试试题 147
5．北京理工大学2003年硕士研究生入学考试试题 150
6．北京理工大学2002年硕士研究生入学考试试题 152
7．大连理工大学2005年硕士研究生入学考试试题（1） 154
8．大连理工大学2005年硕士研究生入学考试试题（2） 156
9．大连理工大学2004年硕士研究生入学考试试题（1） 157
10．大连理工大学2004年硕士研究生入学考试试题（2） 158
11．大连理工大学2000年硕士研究生入学考试试题 160
12．武汉理工大学2005年硕士研究生入学考试试题 161
13．南京理工大学2005年硕士研究生入学考试试题 164
14．东南大学2004年硕士研究生入学考试试题 165
15．华中科技大学2004年硕士研究生入学考试试题 166
16．华中科技大学2002年硕士研究生入学考试试题 167
17．中科院沈阳计算机技术研究所2004年硕士研究生入学考试试题 168
18．中科院沈阳计算机技术研究所2003年硕士研究生入学考试试题 169
19．北京石油大学2004年硕士研究生入学考试试题 171
20．北京石油大学2003年硕士研究生入学考试试题 172
21．南京航空航天大学2002年硕士研究生入学考试试题 173
22．南京航空航天大学2001年硕士研究生入学考试试题 174
23．东北大学2002年硕士研究生入学考试试题 175
24．东北大学2000年硕士研究生入学考试试题 177
25．重庆大学2002年硕士研究生入学考试试题 178