|
课程名称:离散数学
授课大学:电子科技大学
授课老师:傅彦
讲数:61
格式:MP4
大小:7.9G
课程目录
- 第1讲 集合论
- 第2讲 计数问题
- 02-01
排列组合 - 02-02
容斥原理与鸽笼原理
- 第3讲 命题逻辑
- 03-01
命题与命题联结词 - 03-02
命题翻译与联结词 - 03-03
命题公式、解释与真值表 - 03-04
基本等价公式及其应用 - 03-05
命题公式的应用与联结词的完备集 - 03-06
范式 - 03-07
极小项与极大项 - 03-08
主范式
- 第4讲 谓词逻辑
- 04-01
谓词与量词 - 04-02
谓词翻译 - 04-03
谓词合式公式 - 04-04
谓词合式公式的解释与基本等价关系
- 第5讲 推理与证明技术
- 05-01
逻辑蕴涵 - 05-02
演绎法 - 05-03
谓词逻辑的推理 - 05-04
谓词演算的综合推理方法
- 第6讲 二元关系
- 06-01
关系的定义 - 06-02
关系的表示法 - 06-03
关系的复合运算 - 06-04
关系的逆运算 - 06-05
关系的性质
- 第7讲 特殊关系
- 第8讲 函数
- 08-01
函数的定义与分类 - 08-02
函数的性质与运算
- 第9讲 图
- 09-01
图及图的表示与操作 - 09-02
图分类及子图与补图 - 09-03
握手定理与图同构 - 09-04
通路与回路 - 09-05
连通图 - 09-06
有向连通图
- 第10讲 树
- 第11讲 特殊图
- 11-01
欧拉图 - 11-02
哈密顿图 - 11-03
偶图 - 11-04
平面图
- 第12讲 代数系统
- 12-01
代数系统与运算律 - 12-02
特殊元 - 12-03
同态与同构
- 第13讲 群
- 13-01
半群与含幺半群 - 13-02
群与元素的周期 - 13-03
子群 - 13-04
子群与群同态 - 13-05
特殊群 - 13-06
陪集与拉格朗日定理 - 13-07
拉格朗日定理与正规子群
- 第14讲 格与布尔代数
- 14-01
格的基本概念 - 14-02
格与子格 - 14-03
格同态与分配格 - 14-04
特殊格 - 14-05
有补分配格 - 14-06
布尔代数
下载地址:
购买主题
已有 1 人购买
本主题需向作者支付 4 下载币 才能浏览
|