第1章 数理逻辑

1.1 命题

习题1.1

1.2 重言式

习题1.2

1.3 范式

习题1.3

1.4 联结词的扩充与归约

习题1.4

1.5 推理规则和证明方法

习题1.5

1.6 谓词和量词

习题1.6

1.7 永真公式

习题1.7

1.8 谓词演算的推理规则

习题1.8

复习参考题一

第2章 集合论与无限集合

2.1 基本概念

习题2.1

2.2 集合的运算

习题2.2

2.3 归纳法和自然数

习题2.3

2.4 笛卡尔积

习题2.4

2.5 可数与不可数集合

习题2.5

2.6 集合基数的比较

习题2.6

复习参考题二

第3章 图论初步

3.1 基本概念

习题3.1

3.2 路径与回路

习题3.2

3.3 图的矩阵表示

习题3.3

3.4 二部图

习题3.4

3.5 平面图

习题3.5

3.6 树与有向树

习题3.6

复习参考题三

第4章 二元关系与特殊函数

4.1 二元关系的基本概念

习题4.1

4.2 关系的合成

习题4.2

4.3 闭包运算

习题4.3

4.4 次序关系

习题4.4

4.5 等价关系和划分

习题4.5

4.6 函数的基本概念

习题4.6

4.7 特殊函数类

习题4.7

4.8 逆函数

习题4.8

复习参考题四

第5章 代数系统

5.1 代数结构概述

习题5.1

5.2 子代数

习题5.2

5.3 同态与同余关系、商代数

习题5.3

5.4 半群

习题5.4

5.5 群

习题5.5

5.6 环与域

习题5.6

复习参考题五

第6章 格与布尔代数

6.1 格

习题6.1

6.2 特殊的格

习题6.2

6.3 布尔代数

习题6.3

复习参考题六

第7章 组合数学

7.1 排列和组合

7.2 重集的排列和组合

习题7.2

7.3 抽屉原理

习题7.3

7.4 容斥原理

习题7.4

7.5 生成函数

习题7.5

7.6 递归关系

习题7.6

复习参考题七

习题及复习参考题答案

参考文献