目录CONTENTS


第1章数学语言与证明方法1
1.1内容提要1
1.2习题3
1.3习题解答与分析7
第2章命题逻辑18
2.1内容提要18
2.2习题21
2.3习题解答与分析26
第3章一阶逻辑51
3.1内容提要51
3.2习题52
3.3习题解答与分析56
第4章关系70
4.1内容提要70
4.2习题74
4.3习题解答与分析78
第5章函数84
5.1内容提要84
5.2习题85
5.3习题解答与分析88
第6章图92
6.1内容提要92
6.2习题95
6.3习题解答与分析101
第7章树及其应用120
7.1内容提要120
7.2习题121
7.3习题解答与分析123
第8章组合计数基础133
8.1内容提要133
8.2习题136
8.3习题解答与分析138
第9章容斥原理145
9.1内容提要145
9.2习题146
9.3习题解答与分析147
第10章递推方程与生成函数153
10.1内容提要153
10.2习题162
10.3习题解答与分析165
第11章初等数论178
11.1内容提要178
11.2习题179
11.3习题解答与分析183
第12章离散概率196
12.1内容提要196
12.2习题198
12.3习题解答与分析201
第13章初等数论和离散概率的应用216
13.1内容提要216
13.2习题216
13.3习题解答与分析219
第14章代数系统225
14.1内容提要225
14.2习题233
14.3习题解答与分析237
参考文献245