第1章 数学语言与证明方法 1
1.1 内容提要 1
1.2 习题 3
1.3 习题解答与分析 8
第2章 命题逻辑 22
2.1 内容提要 22
2.2 习题 26
2.3 习题解答与分析 31
第3章 一阶逻辑 58
3.1 内容提要 58
3.2 习题 60
3.3 习题解答与分析 64
第4章 关系 79
4.1 内容提要 79
4.2 习题 84
4.3 习题解答与分析 88
第5章 函数 95
5.1 内容提要 95
5.2 习题 97
5.3 习题解答与分析 100
第6章 图 104
6.1 内容提要 104
6.2 习题 107
6.3 习题解答与分析 112
第7章 树及其应用 130
7.1 内容提要 130
7.2 习题 131
7.3 习题解答与分析 134
第8章 组合计数基础 145
8.1 内容提要 145
8.2 习题 148
8.3 习题解答与分析 151
第9章 容斥原理 158
9.1 内容提要 158
9.2 习题 160
9.3 习题解答与分析 161
第10章 递推方程与生成函数 166
10.1 内容提要 166
10.2 习题 176
10.3 习题解答与分析 179
第11章 初等数论 191
11.1 内容提要 191
11.2 习题 193
11.3 习题解答与分析 197
第12章 离散概率 212
12.1 内容提要 212
12.2 习题 214
12.3 习题解答与分析 218
第13章 初等数论和离散概率的应用 234
13.1 内容提要 234
13.2 习题 235
13.3 习题解答与分析 237
第14章 代数系统 245
14.1 内容提要 245
14.2 习题 254
14.3 习题解答与分析 258
参考文献 267