第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