第一篇 数理逻辑
第一章 命题演算及其形式系统
1.1命题与联结词
1.2重言式
1.3范式
△1.4命题演算形式系统
第二章 谓词演算及其形式系统
2.1个体、谓词和量词
2.2谓词演算永真式
△2.3谓词公式的前束范式
△2.4一阶谓词演算形式系统
*第三章 消解原理
3.1斯柯伦标准形
3.2命题演算消解原理
3.3谓词演算消解原理
第二篇 集合论
第四章 集合及其运算
4.1集合的基本概念
4.2集合运算
4.3集合的归纳定义及归纳法证明
第五章 关系
5.1有序组与集合的笛卡儿积
5.2关系
5.3等价关系
5.4序关系
第六章 函数
6.1函数及函数的合成
6.2特殊函数类
6.3函数的逆
△6.4函数、谓词、集合
*第七章 基数
7.1有限集和无限集
7.2基数
第三篇 图论
第八章 图
8.1图的基本知识
8.2路径、回路及连通性
8.3欧拉图与哈密顿图
8.4图的矩阵表示
第九章 特殊图
9.1二分图
9.2平面图
9.3树
第四篇 抽象代数
第十章 代数结构通论
10.1代数结构
10.2同态、同构及同余
△10.3商代数与积代数
第十一章 群、环、域
11.1半群
11.2群
11.3循环群和置换群
11.4环
△11.5域
△第十二章 格与布尔代数
△12.1格
12.2布尔代数 |
