discrete math¶
PPT¶
UCB CS70 : discrete Math and probability theory
咸鱼暄 insr佬的note
PPT
- 4
- 排中律
- 逻辑连结词
- 命题公式
- 言重式
- 5
- 逻辑等价
- 蕴涵
- 范式
- 6
- 联结词集完备性
- 形式系统
- PC
- 7
- 谓词逻辑
- FC
- ND
- 8
- 集合论
- 集合运算
- 9
- 归纳定义
- 数学归纳法
- 有序组
- 笛卡尔积
- 10
- 关系性质
- 等价
- 划分
- 11
- 序关系
- 函数
- 图论
- 12
- 图论
- 树
- 13
- 代数结构
- 同态映射
- 形式语言
- 14
- 语言分析
- 自动机
- 15
- 语言识别
- 图灵机
- 哥德尔不完备定理
总结笔记¶
- 命题逻辑
- 逻辑联结词集 功能完备性
- 真值表
- 逻辑等价式
- 逻辑蕴涵式
- 代入原理、替换原理
- （主）合取范式、（主）析取范式
- 谓词逻辑
- 谓词演算的永真式
- 公理化集合论
- 集合基本运算
- 归纳定义
- 有序组
- 笛卡尔积
- 关系、关系矩阵、函数
- 等价关系、等价类、划分
- 序关系、哈斯图
- 图论、图的同构
- 欧拉图、哈密尔顿图
- 二分图、匹配算法
- 抽象代数、代数结构、同态
- 群、环域
- 语言分析、有限状态自动机
- 图灵机、停机问题