第一部分 数理逻辑
第1章 命题逻辑演算系统
1.1 有关命题逻辑演算系统的概念
1.2 命题公式与真值表
1.3 等价式与蕴含式
1.4 范式与对偶式
1.5 推理理论
练习题
第2章 一阶谓词逻辑演算系统
2.1 谓词命题及翻译
2.2 谓词命题公式及约束变量
2.3 谓词演算的等价式和蕴含式
2.4 谓词演算的推理理论
练习题
第二部分 集合论
第3章 集合与关系
3.1 集合及集合的运算
3.2 三个基本原理
3.3 笛卡儿积与关系
3.4 关系的运算
3.5 等价关系与相容关系
3.6 次序关系
练习题
第4章 函数
4.1 函数的概念
4.2 复合函数与逆函数
4.3 序数与基数的概念
4.4 基数的比较
练习题
第三部分 代数系统
第5章 代数结构
5.1 置换及其运算
5.2 数论初步
5.3 代数系统的概念
5.4 代数结构与子结构
5.5 同态、同构与同余
5.6 几种典型的群
5.7 陪集与拉格朗日定理
5.8 商代数与积代数
5.9 环与域
练习题
第6章 格代数
6.1 格的概念
6.2 几种典型的格
6.3 stone表示定理
6.4 布尔表达式
练习题
第四部分 图论
英文索引
参考文献