投稿

离散数学东北大学（全69讲）

450.6万

4.4万

2020-01-20 23:50:54

http://sharecourse.upln.cn/pdt/sharecourse/modules/mod_course/app/course.php?cid=266714f2-635b-46a9-a5a7-208d4da6cba0 视频来源：辽宁省本科教学网离散数学，东北大学胡明涵，赵志滨，张一飞，任飞亮

古维京掌管希腊的神发消息

图

建议高中生都去学习一下邪修的方法

高中英语救星朱博士

命题及命题的真值

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

顶部