第1章 数学语言与证明方法 1
1.1内容提要 1
1.2习题 3
1.3习题解答与分析 7
第2章 命题逻辑 17
2.1内容提要 17
2.2习题 20
2.3习题解答与分析 25
第3章 一阶逻辑 50
3.1内容提要 50
3.2习题 51
3.3习题解答与分析 55
第4章 关系 68
4.1内容提要 68
4.2习题 72
4.3习题解答与分析 76
第5章 函数 81
5.1内容提要 81
5.2习题 82
5.3习题解答与分析 85
第6章 图 89
6.1内容提要 89
6.2习题 92
6.3习题解答与分析 98
第7章 树及其应用 116
7.1内容提要 116
7.2习题 117
7.3习题解答与分析 119
第8章 组合计数基础 128
8.1内容提要 128
8.2习题 131
8.3习题解答与分析 133
第9章 容斥原理 140
9.1内容提要 140
9.2习题 141
9.3习题解答与分析 142
第10章 递推方程与生成函数 148
10.1内容提要 148
10.2习题 157
10.3习题解答与分析 160
第11章 初等数论 173
11.1内容提要 173
11.2习题 174
11.3习题解答与分析 178
第12章 离散概率 191
12.1内容提要 191
12.2习题 193
12.3习题解答与分析 196
第13章 初等数论和离散概率的应用 210
13.1内容提要 210
13.2习题 210
13.3习题解答与分析 213
第14章 代数系统 219
14.1内容提要 219
14.2习题 226
14.3习题解答与分析 230
参考文献 238