第1章 命题逻辑 1
本章知识结构及内容小结 1
经典例题解析 4
本章教材习题全解 14
历年考研真题评析 51
第2章 谓词逻辑 57
本章知识结构及内容小结 57
经典例题解析 59
本章教材习题全解 63
历年考研真题评析 76
第3章 集合与关系 78
本章知识结构及内容小结 78
经典例题解析 85
本章教材习题全解 89
历年考研真题评析 121
第4章 函数 124
本章知识结构及内容小结 124
经典例题解析 127
本章教材习题全解 130
历年考研真题评析 141
第5章 代数结构 143
本章知识结构及内容小结 143
经典例题解析 148
本章教材习题全解 154
历年考研真题评析 175
第6章格和布尔代数 178
本章 知识结构及内容 小结 178
经典例题解析 182
本章教材习题全解 188
历年考研真题评析 202
第7章 图论 204
本章知识结构及内容小结 204
经典例题解析 210
本章教材习题全解 213
历年考研真题评析 243
第8章形式语言与自动机 247
本章知识结构及内容小结 247
经典例题解析 253
本章教材习题全解 257
第9章 纠错码初步 280
本章知识结构及内容小结 280
经典例题解析 282
本章教材习题全解 286