离散数学 一天速成

文章目录

  • 资料来自网络,仅供参考,如有侵权,联系删除。
  • 一、命题逻辑的基本概念
    • 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. 欧拉公式(~~ 爱学不学~~)
      • 不进


资料来自网络,仅供参考,如有侵权,联系删除。

  • 内容如有不一致,一切以老师和学校教材为准
  • ‍ 参考视频教程地址

一、命题逻辑的基本概念

1. 命题

离散数学 一天速成_第1张图片
在这里插入图片描述

2. 命题联结词


离散数学 一天速成_第2张图片
离散数学 一天速成_第3张图片
离散数学 一天速成_第4张图片
离散数学 一天速成_第5张图片
离散数学 一天速成_第6张图片
公式为矛盾式
离散数学 一天速成_第7张图片
离散数学 一天速成_第8张图片

二、命题逻辑等值演算

1. 等值式

不进

离散数学 一天速成_第9张图片
离散数学 一天速成_第10张图片

离散数学 一天速成_第11张图片

离散数学 一天速成_第12张图片

2. 析取范式和合取范式

不进

离散数学 一天速成_第13张图片

3. 主析取范式和主合取范式

不进

离散数学 一天速成_第14张图片
离散数学 一天速成_第15张图片
离散数学 一天速成_第16张图片
离散数学 一天速成_第17张图片


离散数学 一天速成_第18张图片
离散数学 一天速成_第19张图片
离散数学 一天速成_第20张图片


离散数学 一天速成_第21张图片


4. 联结词的完备集

不进

离散数学 一天速成_第22张图片

离散数学 一天速成_第23张图片

离散数学 一天速成_第24张图片
离散数学 一天速成_第25张图片

三、命题逻辑的推理理论

不进

离散数学 一天速成_第26张图片
离散数学 一天速成_第27张图片
离散数学 一天速成_第28张图片

离散数学 一天速成_第29张图片
离散数学 一天速成_第30张图片


离散数学 一天速成_第31张图片
离散数学 一天速成_第32张图片

离散数学 一天速成_第33张图片


四、谓词逻辑

1. 谓词逻辑的基本概念

不进

离散数学 一天速成_第34张图片

离散数学 一天速成_第35张图片

离散数学 一天速成_第36张图片
离散数学 一天速成_第37张图片

离散数学 一天速成_第38张图片
离散数学 一天速成_第39张图片

在这里插入图片描述

离散数学 一天速成_第40张图片
离散数学 一天速成_第41张图片

离散数学 一天速成_第42张图片


离散数学 一天速成_第43张图片


离散数学 一天速成_第44张图片离散数学 一天速成_第45张图片


离散数学 一天速成_第46张图片
离散数学 一天速成_第47张图片


离散数学 一天速成_第48张图片


离散数学 一天速成_第49张图片

五、集合代数

1. 集合的基本概念

不进


在这里插入图片描述

离散数学 一天速成_第50张图片
离散数学 一天速成_第51张图片
离散数学 一天速成_第52张图片

2. 集合的运算

不进

离散数学 一天速成_第53张图片

离散数学 一天速成_第54张图片
离散数学 一天速成_第55张图片

3. 有穷集的计数

不进

离散数学 一天速成_第56张图片


4. 集合的恒等式

不进

离散数学 一天速成_第57张图片
离散数学 一天速成_第58张图片

常用结论

离散数学 一天速成_第59张图片

六、二元关系

1. 有序对和笛卡尔积

不进

离散数学 一天速成_第60张图片

离散数学 一天速成_第61张图片

2. 二元关系

不进



在这里插入图片描述

离散数学 一天速成_第62张图片
离散数学 一天速成_第63张图片

3. 关系的运算

不进

离散数学 一天速成_第64张图片
离散数学 一天速成_第65张图片

在这里插入图片描述
离散数学 一天速成_第66张图片

4. 关系的性质

不进



5. 关系的闭包

不进

离散数学 一天速成_第67张图片

6. 等价关系和划分

不进

离散数学 一天速成_第68张图片

离散数学 一天速成_第69张图片


自求多福

7. 偏序关系

不进

在这里插入图片描述

离散数学 一天速成_第70张图片
在这里插入图片描述


爱学就学


七、图论

1. 图的基本概念

不进



离散数学 一天速成_第71张图片

爱学不学
离散数学 一天速成_第72张图片

离散数学 一天速成_第73张图片
离散数学 一天速成_第74张图片

在这里插入图片描述

爱学不学
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述

2. 通路和回路

不进

离散数学 一天速成_第75张图片

3. 图的连通性

不进

4. 图的矩阵表示

不进

邻接矩阵
在这里插入图片描述

⭐⭐⭐⭐⭐

爱学不学
在这里插入图片描述

爱学不学
离散数学 一天速成_第76张图片
爱学不学

爱学不学

爱学不学
离散数学 一天速成_第77张图片

离散数学 一天速成_第78张图片

5. 欧拉图

不进


离散数学 一天速成_第79张图片

6. 哈密顿图

不进

7. 最短路问题

不进

八、树

1. 无向树及其性质

不进


在这里插入图片描述
离散数学 一天速成_第80张图片
离散数学 一天速成_第81张图片

2. 最小生成树

不进

3. 根数及其应用

不进

爱学不学


爱学不学

九、平面图

1. 平面图的基本概念

不进

离散数学 一天速成_第82张图片

离散数学 一天速成_第83张图片

2. 四色猜想

任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。

3. 欧拉公式( 爱学不学

不进

在这里插入图片描述

离散数学 一天速成_第84张图片

你可能感兴趣的:(大学水课,学习)