离散数学
精简版
命题逻辑
蕴含式(揭露一般推理规律,值得注意当前提为假时,值为真,这本身是没有意义的,是形式逻辑):
推理式分类:
公式定理:(常见)
谓词逻辑:
定义:
量词与变元:
量词分配等值式
前束范式、换名规则:
集合论:
相关概念、定义:
相对补,对称差:
全集与集族
公式规律:
集合论关系:
有序对与卡式积:
二元关系个数
关系表示
关系运算与性质
特殊关系与运算
![](https://img-blog.csdnimg.cn/c98f6c4a224a4bb7af34c4ee32f403ed.png
关系性质:
关系运算:
关系闭包:
划分与覆盖
等价关系:
偏序关系
函数:
定义及运算:
求逆:
基数
计算原理
排列与组合
图
分类及基本概念:
连通性:
图的矩阵表示:(乘法的物理含义)
通路、回路