第一部分 数理逻辑
第1章 命题逻辑演算系统
1.1 命题逻辑演算系统的概念
1.1.1 命题
1.1.2 联结词
1.2 命题公式与真值表
1.2.1 命题公式与命题函数
1.2.2 命题公式的真值表
1.2.3 永真式与永假式
1.2.4 其他联结词
1.2.5 最小联结词组
1.3 等价式与蕴含式
1.3.1 命题公式的等价
1.3.2 命题公式的蕴含
1.3.3 等价的判定
1.3.4 蕴含的判定
1.4 范式与对偶式
1.4.1 对偶公式
1.4.2 范式
1.4.3 主范式
1.5 命题演算的推理理论
1.5.1 有效推理的概念
1.5.2 推理过程习题
第2章 一阶谓词逻辑演算系统
2.1 谓词命题
2.1.1 原子命题的谓词表示
2.1.2 量词
2.1.3 论域
2.1.4 含量词的谓词命题
2.2 谓词命题公式及约束变元
2.2.1 谓词命题公式
2.2.2 谓词公式的解释与赋值
2.2.3 谓词公式的等价与蕴含
2.2.4 约束变元与自由变元
2.2.5 代入实例
2.3 谓词逻辑演算的等价式和蕴含式
2.3.1 等价式与蕴含式
2.3.2 多元谓词及其量词
2.3.3 前束范式与Skolem范式
2.4 谓词逻辑演算的推理理论
2.4.1 谓词逻辑的有效推理
2.4.2 卸下、添加量词的规则习题
第二部分 集合论
第3章 集合与关系
3.1 集合及集合运算
3.1.1 集合的概念
3.1.2 集合的表示法
3.1.3 集合公理
3.1.4 集合的运算
3.1.5 集合运算的性质
3.2 三个基本原理
3.2.1 排列组合的复习
3.2.2 鸽巢原理
3.2.3 包含排斥原理
3.2.4 生成函数
3.3 笛卡儿积与关系
3.3.1 序偶与笛卡儿积
3.3.2 关系的概念
3.3.3 关系的表示
3.3.4 关系的性质
3.4 关系的运算
3.4.1 关系的集合运算
3.4.2 关系的复合运算
3.4.3 关系的逆运算
3.4.4 关系的闭包运算
3.5 等价关系与相容关系
3.5.1 划分与覆盖
3.5.2 等价关系与等价类
3.5.3 相容关系与相容类
3.6 次序关系
3.6.1 偏序关系
3.6.2 HASSE图
3.6.3 上确界与下确界
3.6.4 良序关系习题
第4章 函数
4.1 函数的概念
4.1.1 数的定义
4.1.2 数的特性
4.2 复合函数与逆函数
4.2.1 复合函数
4.2.2 逆函数
4.2.3 函数的运算性质
4.3 序数与自然数
4.3.1 等势与劣势
4.3.2 自然数
4.3.3 序数
4.4 基数
4.4.1 关于基数
4.4.2 可数集与不可数集
4.4.3 基数的比较习题
第三部分 代数系统
第5章 代数结构
5.1 置换及其运算
5.1.1 置换与轮换
5.1.2 轮换的运算性质及方法
5.1.3几个轮换运算的等式
5.2 数论初步
5.2.1 整数
5.2.2 辗转相除法
5.2.3 整数的互质性
5.2.4 整数的同余性
5.3 代数系统的概念
5.3.1 代数系统
5.3.2 子代数系统
5.4 代数结构与子结构
5.4.1 代数结构
5.4.2 子代数结构
5.5 同态、同构与同余
5.5.1 同态与同构
5.5.2 同余关系
5.6 几种典型的群
5.6.1 交换群
5.6.2 循环群
5.6.3 置换群
5.6.4 变换群与CaCey定理
5.7 陪集与拉格朗日定理
5.7.1 陪集
5.7.2 拉格朗日定理
5.7.3.Y规子群
5.7.4 同态定理
5.8 商代数与积代数
5.8.1 商代数
5.8.2 积代数
……
第四部分 图论
中英文索引
参考文献
缺书网
扫码进群