【离散数学】

离散数学

命题逻辑

蕴含式（揭露一般推理规律，值得注意当前提为假时，值为真,这本身是没有意义的，是形式逻辑）：

推理式分类：

公式定理：（常见）

谓词逻辑：

定义：

量词与变元：

量词分配等值式

前束范式、换名规则：

集合论：

相关概念、定义：

相对补，对称差：

全集与集族

公式规律：

集合论关系：

有序对与卡式积：

有序对参考博客
卡式积参考博客

二元关系个数

二元关系参考博客

关系表示

关系表示参考博客

关系运算与性质

特殊关系与运算

![](https://img-blog.csdnimg.cn/c98f6c4a224a4bb7af34c4ee32f403ed.png

关系性质:

关系运算：

关系闭包：

参考博客

划分与覆盖

等价关系：

等价关系参考博客

偏序关系

偏序关系参考博客

函数：

定义及运算：

求逆：

基数

参考博客

计算原理

排列与组合

参考博客

图

分类及基本概念：

连通性：

图的矩阵表示：（乘法的物理含义）

通路、回路