文章目录
- 资料来自网络,仅供参考,如有侵权,联系删除。
- 一、命题逻辑的基本概念
-
- 二、命题逻辑等值演算
-
- 1. 等值式
-
- 2. 析取范式和合取范式
-
- 3. 主析取范式和主合取范式
-
- 4. 联结词的完备集
-
- 三、命题逻辑的推理理论
-
- 四、谓词逻辑
-
- 五、集合代数
-
- 1. 集合的基本概念
-
- 2. 集合的运算
-
- 3. 有穷集的计数
-
- 4. 集合的恒等式
-
- 六、二元关系
-
- 1. 有序对和笛卡尔积
-
- 2. 二元关系
-
- 3. 关系的运算
-
- 4. 关系的性质
-
- 5. 关系的闭包
-
- 6. 等价关系和划分
-
- 7. 偏序关系
-
- 七、图论
-
- 1. 图的基本概念
-
- 2. 通路和回路
-
- 3. 图的连通性
-
- 4. 图的矩阵表示
-
- 5. 欧拉图
-
- 6. 哈密顿图
-
- 7. 最短路问题
-
- 八、树
-
- 1. 无向树及其性质
-
- 2. 最小生成树
-
- 3. 根数及其应用
-
- 九、平面图
-
- 1. 平面图的基本概念
-
- 2. 四色猜想
- 3. 欧拉公式(~~ 爱学不学~~)
-
资料来自网络,仅供参考,如有侵权,联系删除。
- 内容如有不一致,一切以老师和学校教材为准
- 参考视频教程地址
一、命题逻辑的基本概念
1. 命题
2. 命题联结词
公式为矛盾式
二、命题逻辑等值演算
1. 等值式
不进
子
2. 析取范式和合取范式
不进
子
3. 主析取范式和主合取范式
不进
子
4. 联结词的完备集
不进
子
三、命题逻辑的推理理论
不进
子
四、谓词逻辑
1. 谓词逻辑的基本概念
不进
子
五、集合代数
1. 集合的基本概念
不进
子
2. 集合的运算
不进
子
3. 有穷集的计数
不进
子
4. 集合的恒等式
不进
常用结论
子
六、二元关系
1. 有序对和笛卡尔积
不进
子
2. 二元关系
不进
子
3. 关系的运算
不进
子
4. 关系的性质
不进
子
5. 关系的闭包
不进
子
6. 等价关系和划分
不进
子
自求多福
7. 偏序关系
不进
爱学就学
子
七、图论
1. 图的基本概念
不进
爱学不学
子
爱学不学
2. 通路和回路
不进
3. 图的连通性
不进
子
4. 图的矩阵表示
不进
邻接矩阵
⭐⭐⭐⭐⭐
爱学不学
爱学不学
爱学不学
子
爱学不学
爱学不学
5. 欧拉图
不进
子
6. 哈密顿图
不进
子
7. 最短路问题
不进
子
八、树
1. 无向树及其性质
不进
子
2. 最小生成树
不进
子
3. 根数及其应用
不进
爱学不学
子
爱学不学
九、平面图
1. 平面图的基本概念
不进
子
2. 四色猜想
任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。
3. 欧拉公式( 爱学不学)
不进
子