目录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