欧拉图
上一节
下一节
王茂华
目录
-
1 命题逻辑的基本概念
-
1.1 命题与联结词
-
1.2 命题公式及其赋值
-
-
2 命题逻辑等值演算
-
2.1 等值式
-
2.2 析取范式与合取范式
-
-
3 命题逻辑的推理
-
3.1 推理的形式结构
-
3.2 自然推理系统
-
-
4 一阶逻辑基本概念
-
4.1 一阶逻辑命题符号化
-
4.2 一阶逻辑公式及其解释
-
-
5 第5章 一阶逻辑等值演算与推理
-
5.1 一阶逻辑等值式与置换原则
-
-
6 第六章集合代数
-
6.1 集合的基本概念
-
6.2 集合恒等式
-
-
7 第7章 二元关系
-
7.1 有序对与笛卡尔积
-
7.2 二元关系
-
7.3 关系的运算
-
7.4 关系的性质
-
7.5 关系的闭包
-
7.6 等价关系的划分
-
7.7 偏序关系
-
-
8 图的基本概念
-
8.1 图
-
8.2 连通图
-
-
9 欧拉图与哈密尔顿图
-
9.1 欧拉图
-
9.2 哈密尔顿图
-
9.3 最短路
-
-
10 树
-
10.1 生成树
-
