- 在线播放
- 分集下载
- 1.1 0.1导言
- 1.2.1 1.1命题逻辑的基本概念
- 1.2.2 1.2非合取联结词
- 1.2.3 1.3析取联结词
- 1.2.4 1.4蕴含等价联结词
- 1.2.5 1.5真值表
- 1.2.6 1.6命题公式及其类型
- 1.2.7 1.7等值演算的基本公式
- 1.2.8 1.8用等值演算判断公式类型
- 1.2.9 1.9等值演算的其它应用
- 1.2.10 1.10范式
- 1.2.11 1.11主析取范式
- 1.2.12 1.12主合取范式
- 1.2.13 1.13构造证明法
- 1.2.14 1.14构造证明法的间接法
- 1.3.1 2.1谓词逻辑的基本概念
- 1.3.2 2.2谓词公式及其符号化
- 1.3.3 2.3谓词公式的解释与类型
- 1.3.4 2.4谓词公式的换名
- 1.3.5 2.5谓词公式的等值式
- 1.3.6 2.6前束范式
- 1.3.7 2.7谓词推理的规则
- 1.3.8 2.8谓词推理的证明
- 1.4.1 3.1集合论
- 1.4.2 3.2什么是二元关系
- 1.4.3 3.3二元关系的表示
- 1.4.4 3.4二元关系的运算
- 1.4.5 3.5二元关系的性质
- 1.4.6 3.6关系性质的判别与证明
- 1.4.7 3.7二元关系的闭包
- 1.4.8 3.8等价关系
- 1.4.9 3.9什么是偏序关系
- 1.4.10 3.10偏序关系中的特殊关系
- 1.5.1 4.1二元运算与代数系统
- 1.5.2 4.2代数系统的特殊元素
- 1.5.3 4.3同态与同构
- 1.5.4 4.4半群与独异点
- 1.5.5 4.5群
- 1.5.6 4.6子群
- 1.5.7 4.7特殊的群
- 1.5.8 4.8环与域
- 1.5.9 4.9格
- 1.5.10 4.10特殊格
- 1.6.1 5.1图论简介
- 1.6.2 5.2图的定义
- 1.6.3 5.3子图与同构图
- 1.6.4 5.4握手定理
- 1.6.5 5.5无向图的连通性
- 1.6.6 5.6有向图的连通性
- 1.6.7 5.7图的邻接矩阵表示
- 1.6.8 5.8图的可达矩阵
- 1.7.1 6.1欧拉图
- 1.7.2 6.2哈密顿图
- 1.7.3 6.3二部图
- 1.7.4 6.4平面图
- 1.7.5 6.5欧拉公式
- 1.7.6 6.6树