离散数学 东北大学(全69讲)

450.6万
4.4万
2020-01-20 23:50:54
6.1万
1.9万
11.1万
1.8万
http://sharecourse.upln.cn/pdt/sharecourse/modules/mod_course/app/course.php?cid=266714f2-635b-46a9-a5a7-208d4da6cba0 视频来源:辽宁省本科教学网 离散数学,东北大学胡明涵,赵志滨,张一飞,任飞亮
视频选集
(1/69)
命题及命题的真值
14:32
逻辑连接词
21:14
命题逻辑中命题的符号化
10:37
命题公式及其真值表
10:43
命题公式的等价
18:46
重言式与重言蕴含式
21:45
析取范式与合取范式
13:39
主析取范式
15:01
主合取范式
14:33
命题逻辑推理一:直接推理
14:08
命题逻辑推理二:间接推理
22:08
谓词逻辑的基本概念
21:32
谓词公式与量词的辖域
15:10
谓词逻辑中量词的符号化
11:46
谓词演算的等价式与蕴含式(一)
12:10
谓词演算的等价式与蕴含式(二)
21:59
前束范式
09:23
谓词演算的推理理论(一)
23:09
谓词演算的推理理论(二)
15:32
集合的基本概念
08:43
集合间的关系
08:30
特殊集合
03:22
集合的运算
19:29
有穷集的计数(容斥定理)
17:41
序偶与集合的笛卡尔积
24:54
二元关系及其表示法
19:58
二元关系的性质
19:51
关系的复合运算
15:35
关系的求逆运算
11:19
关系的闭包运算
15:38
集合的划分与覆盖
07:56
等价关系与等价类
37:09
相容关系与相容类
15:54
偏序关系
24:15
函数的基本概念
16:13
函数的复合
14:31
逆函数及其性质
09:49
集合基数的基本概念
25:22
加法法则与乘法法则
11:50
排列与组合
26:40
二项式定理与组合恒等式
11:57
多项式定理
06:13
二元运算及其性质
19:57
二元运算中的特殊元
34:42
代数系统的同态与同构
25:56
代数系统同构的性质
25:37
半群和独异点
10:20
群的定义及性质
31:21
子群及其证明
25:45
子群的陪集及拉格朗日定理
24:49
循环群
31:04
循环群的子群
13:16
环与域
37:59
格的基本概念
32:05
格的性质
21:00
特殊的格
21:56
布尔代数
24:14
图的基本概念
31:16
图的连通性
31:58
图的矩阵表示
29:22
欧拉图
31:51
汉密尔顿图
25:15
最短通路问题
19:06
平面图
29:02
图着色
21:29
无向树及其性质
18:41
生成树
18:28
根树
16:56
根树的应用
27:25
客服
顶部
赛事库 课堂 2021拜年纪