第1章 命题逻辑 1
1.1 内容提要 1
1.2 例题精选 5
1.3 习题解答 8
第2章 谓词逻辑 26
2.1 内容提要 26
2.2 例题精选 30
2.3 习题解答 33
第3章 集合与关系 46
3.1 内容提要 46
3.2 例题精选 51
3.3 习题解答 55
第4章 函数 73
4.1 内容提要 73
4.2 例题精选 76
4.3 习题解答 77
第5章 组合计数与离散概率 89
5.1 内容提要 89
5.2 例题精选 93
5.3 习题解答 95
第6章 图论 101
6.1 内容提要 101
6.2 例题精选 107
6.3 习题解答 109
第7章 树及其应用 128
7.1 内容提要 128
7.2 例题精选 130
7.3 习题解答 133
第8章 代数系统 140
8.1 内容要点 140
8.2 例题精讲 145
8.3 习题解答 149
第9章 自动机、文法和语言 167
9.1 内容提要 167
9.2 例题精选 168
9.3 习题解答 170
第10章 初等数论 177
10.1 内容提要 177
10.2 例题精选 178
10.3 习题解答 181
参考文献 184