目录
- 第一章集合论....
- 1.1集合及其表示
- 1.2 集合与元素的关系
- 1.3集合的运算.
- 第二章数理逻辑
- 2.1命题逻辑
- 2.1.1命题
- 2.1.2命题的真值表
- 2.1.3公式及其性质
- 2.1.4范式
- 2.1.5推理理论
- 2.2 谓词逻辑
- 2.2.1谓词与 危词
- 2.2.2谓词公式
- 2.2.3公 式的解释与基本性质
- 2.2.4谓词演算 与推理
- 第三章二元关系
- 3.2 二元关系及其表示
- 3.3关系的性质
- 3.4 等价关系
- 3.5 次序关系
- 3.6 陌数(映射)
- 第四章图论
- 4.1图的结构
- 4.2 通路、回路与连通性
- 4.3 图的矩阵表示
- 4.4欧拉图与汉密尔顿图.
- 4.5 树
- 4.6偶图与平面图
- 第五章代数系统
- 5.1 代数系统及其基本性质
- 5.2同态与同构
- 5.3 半群与独异点
- 5.4 群论
- 5.5 格与布尔代数