第一篇 数理逻辑.
第 章 命题逻辑
1. 1 命题与联结词
1. 2 命题公式及其分类
1. 3 等值演算
1. 4 联结词全功能集
1. 5 范式
1. 6 对偶式与蕴涵式
1. 7 命题逻辑的推理理论
习题
第2章 谓词逻辑
2. 1 谓词逻辑基本概念
2. 2 谓词公式及其解释
2. 3 谓词逻辑等值式
2. 4 前束范式
2. 5 谓词逻辑的推理理论
习题
第二篇 集合论
第3章 集合
3. 1 集合的基本概念
3. 2 集合与集合的关系
3. 3 集合的基本运算
3. 4 集合中元素的计数
习题
第4章 二元关系
4. 1 集合的笛卡儿积
4. 2 关系的基本概念
4. 3 关系的性质
4. 4 关系的运算
4. 5 关系的闭包运算
4. 6 等价关系和划分
4. 7 偏序关系
4. 8 函数的基本概念
4. 9 函数的运算
习题
第三篇 代数结构..
第5章 代数系统
5. 1 代数系统的基本概念
5. 2 二元运算的性质
5. 3 子代数与积代数
5. 4 代数系统的同态与同构
习 题
第6章 典型代数系统
6. 1 半群与独异点
6. 2 群
6. 3 环与域
6. 4 格与布尔代数
习题
第四篇 图 论
第7章 图
7. 1 图的基本概念
7. 2 回路与连通性
7. 3 图的矩阵表示
7. 4 最短路径及关键路径
习题
第8章 特殊的图
8. 1 欧拉图
8. 2 哈密尔顿图
8. 3 偶图与匹配
8. 4 平面图
习题
第9章 树
9. 1 无向树
9. 2 生成树与最小生成树
9. 3 根树
习题
参考文献
鄂公网安备 42010302001612号 