第一篇 数理逻辑

第一章 命题与逻辑

1．1 命题与联结词

1．2 命题公式，真值表与命题符号化

1．3 命题公式的等价关系和蕴涵关系

1．4 对偶式和其他联结词

1．5 命题公式的范式

1．6 命题逻辑的推理理论

习题一

2．1 谓词逻辑的基本概念

第二章 谓词逻辑

2．2 谓词公式

2．3 约束变元与自由变元

2．4 解释和逻辑有效式

2．5 等价关系、蕴涵关系和前束范式

2．6 谓词逻辑的推理理论

习题二

第二篇 集合理论

第三章 集合

3．1 集合的概念和表示法

3．2 集合的运算

3．3 有限集合中元素的计数与排列组合

习题三

第四章 二元关系

4．1 二元关系

4．2 关系矩阵和关系图

4．3 复合关系和逆关系

4．4 关系的性质

4．5 关系的闭包

4．6 等价关系与划分

4．7 序关系

习题四

5．1 函数的概念

第五章 函数和基数

5．2 复合函数和逆函数

5．3 特征函数和模糊集合

5．4 基数的概念

5．5 可数集和不可数集

5．6 基数的比较

习题五

第三篇 代数结构

第六章 代数结构的概念与性质

6．1 代数运算及其性质

6．2 代数结构及其子代数、积代数

6．3 代数结构中的特异元

6．4 代数结构的同态与同构

6．5 商代数与同余关系

习题六

第七章 群论基础

7．1 半群的定义与性质

7．2 群的定义与性质

7．3 两类特殊的群——循环群与置换群

7．4 子群与陪集

7．5 正规子群、商群与群的同态基本定理

习题七

第八章 环和域

8．1 环的定义与性质

8．2 子环、理想与同态基本定理

8．3 域的基本概念与性质

习题八

第九章 格与布尔代数

9．1 格的定义及性质

9．2 子格与格同构

9．3 布尔代数

习题九

10．1 图的基本概念

第四篇 图论

第十章 图的基本概念

10．2 途径、链、路

10．3 图的连通性

10．4 几类常见的图

10．5 最短路

10．6 二分图

10．7 图的矩阵表示

习题十

11．1 欧拉图

第十一章 图的遍历性与可平面性

11．2 哈密尔顿图

11．3 平面图

习题十一

第十二章 树

12．1 无向树的定义和性质

12．2 生成树

12．3 最小生成树

12．4 根树及其应用

习题十二

参考文献