【慕课+课堂实录】离散数学-北京大学-陈斌-字幕校对-【更新慕课第11周】-【慕课W02】24-三个元定理-网易公开课

已购课程

个人中心 

内容中心

 关注我们

进入关怀模式

APP下载

反馈

【慕课W02】24-三个元定理

1630 播放

下载

手机看

登录后可发评论

评论沙发是我的～

选集(114)

自动播放

[1] 【慕课+课堂实录】离散数学-北京大...

9459播放

00:38

【慕课+课堂实录】离散数学-北京大学-陈斌-字幕校对-【更新慕课第11周】(视频介绍)

[2] 第1周【课堂实录1】这是一门什么课...

4665播放

18:42

第1周【课堂实录1】这是一门什么课？内容与目标；教学形式

[3] 【慕课W00】01-课程简介

2764播放

01:59

【慕课W00】01-课程简介

[4] 【慕课W00】02-形式化及其极限

2698播放

18:53

【慕课W00】02-形式化及其极限

[5] 【慕课W00】03-悖论、版画、卡...

1753播放

11:52

【慕课W00】03-悖论、版画、卡农

[6] 【慕课W01】04-数理逻辑介绍

2599播放

04:55

【慕课W01】04-数理逻辑介绍

[7] 【慕课W01】05-什么是命题

1439播放

05:46

【慕课W01】05-什么是命题

[8] 【慕课W01】06-排中律

1253播放

05:14

【慕课W01】06-排中律

[9] 【慕课W01】07-命题符号化

1469播放

06:25

【慕课W01】07-命题符号化

[10] 【慕课W01】08-逻辑联结词（上...

1939播放

06:58

【慕课W01】08-逻辑联结词（上）

[11] 【慕课W01】09-逻辑联结词（下...

1328播放

07:42

【慕课W01】09-逻辑联结词（下）

[12] 【慕课W01】10-命题公式

1606播放

06:36

【慕课W01】10-命题公式

[13] 【慕课W01】11-真值函数

1711播放

06:37

【慕课W01】11-真值函数

[14] 【慕课W01】12-命题形式化

1328播放

06:33

【慕课W01】12-命题形式化

[15] 第2周【课堂实录2-1】上周内容：...

2019播放

48:16

第2周【课堂实录2-1】上周内容：数理逻辑-基本概念-课堂报告1

[16] 第2周【课堂实录2-2】课堂报告2

1695播放

59:22

第2周【课堂实录2-2】课堂报告2

[17] 【慕课W02】13-数理逻辑-重言...

1529播放

06:11

【慕课W02】13-数理逻辑-重言式

[18] 【慕课W02】14-逻辑等价式和逻...

1842播放

17:40

【慕课W02】14-逻辑等价式和逻辑蕴涵式

[19] 【慕课W02】15-代入原理和替换...

1811播放

05:41

【慕课W02】15-代入原理和替换原理

[20] 【慕课W02】16-证明逻辑等价式...

881播放

13:53

【慕课W02】16-证明逻辑等价式和逻辑蕴涵式

[21] 【慕课W02】17-范式及基本术语

1132播放

07:26

【慕课W02】17-范式及基本术语

[22] 【慕课W02】18-求范式的一般步...

1497播放

10:25

【慕课W02】18-求范式的一般步骤

[23] 【慕课W02】19-主范式

1799播放

14:46

【慕课W02】19-主范式

[24] 【慕课W02】20-联结词集完备性

2030播放

10:28

【慕课W02】20-联结词集完备性

[25] 【慕课W02】21-形式系统和证明...

1367播放

07:01

【慕课W02】21-形式系统和证明、演绎

[26] 【慕课W02】22-命题演算形式系...

1357播放

09:06

【慕课W02】22-命题演算形式系统PC

[27] 【慕课W02】23-PC中的定理证...

1529播放

07:52

【慕课W02】23-PC中的定理证明

[28] 【慕课W02】24-三个元定理

1630播放

待播放

【慕课W02】24-三个元定理

[29] 【慕课W02】25-定理判定问题

1019播放

15:37

【慕课W02】25-定理判定问题

[30] 第3周【课堂实录3-2】课堂报告2

859播放

51:06

第3周【课堂实录3-2】课堂报告2

[31] 第3周【课堂实录3-3】下周课程内...

1034播放

27:48

第3周【课堂实录3-3】下周课程内容及课堂报告题目讲解

[32] 【慕课W03】26-数理逻辑-个体...

1073播放

14:30

【慕课W03】26-数理逻辑-个体、谓词和量词

[33] 【慕课W03】27-谓词公式

1526播放

09:52

【慕课W03】27-谓词公式

[34] 【慕课W03】28-谓词公式永真式

1641播放

13:57

【慕课W03】28-谓词公式永真式

[35] 【慕课W03】29-谓词演算形式系...

968播放

09:38

【慕课W03】29-谓词演算形式系统FC

[36] 【慕课W03】30-全称引入规则及...

926播放

08:17

【慕课W03】30-全称引入规则及存在消除规则

[37] 【慕课W03】31-自然推理系统

1557播放

14:32

【慕课W03】31-自然推理系统

[38] 【慕课W03】32-ND中的定理证...

804播放

06:51

【慕课W03】32-ND中的定理证明

[39] 第5周【课堂实录5】上周内容：数理...

1649播放

1:41:48

第5周【课堂实录5】上周内容：数理逻辑-谓词逻辑及其形式系统-课堂报告

[40] 【慕课W04】33-集合论与无限

822播放

18:26

【慕课W04】33-集合论与无限

[41] 【慕课W04】34-集合基本概念

886播放

15:17

【慕课W04】34-集合基本概念

[42] 【慕课W04】35-子集合

1462播放

13:26

【慕课W04】35-子集合

[43] 【慕课W04】36-集合基本运算

1505播放

23:03

【慕课W04】36-集合基本运算

[44] 【慕课W04】37-集合族及运算

1321播放

17:02

【慕课W04】37-集合族及运算

[45] 【慕课W04】38-归纳定义

637播放

10:16

【慕课W04】38-归纳定义

[46] 【慕课W04】39-自然数的定义

685播放

11:35

【慕课W04】39-自然数的定义

[47] 【慕课W04】40-归纳原理

1778播放

07:25

【慕课W04】40-归纳原理

[48] 【慕课W04】41-数学归纳法

996播放

11:58

【慕课W04】41-数学归纳法

[49] 第6周【课堂实录6-1】上周内容：...

1274播放

50:10

第6周【课堂实录6-1】上周内容：集合论基本概念-课堂报告

[50] 第6周【课堂实录6-2】课堂报告-...

1002播放

1:03:31

第6周【课堂实录6-2】课堂报告-下周内容

[51] 【慕课W05】42-有序组

1318播放

06:59

【慕课W05】42-有序组

[52] 【慕课W05】43-笛卡尔积

1748播放

08:36

【慕课W05】43-笛卡尔积

[53] 【慕课W05】44-关系定义

1631播放

14:17

【慕课W05】44-关系定义

[54] 【慕课W05】45-关系运算

1425播放

09:13

【慕课W05】45-关系运算

[55] 【慕课W05】47-关系基本特性

766播放

10:47

【慕课W05】47-关系基本特性

[56] 【慕课W05】48-关系特性定理

1429播放

16:35

【慕课W05】48-关系特性定理

[57] 第7周【课堂实录7-1】集合代数；...

845播放

48:17

第7周【课堂实录7-1】集合代数；课堂报告-关系及运算；关系特性判定

[58] 第7周【课堂实录7-2】课堂报告-...

1204播放

53:00

第7周【课堂实录7-2】课堂报告-关系特性判定；亲戚计算器

[59] 【慕课W06】49-等价关系

1610播放

11:24

【慕课W06】49-等价关系

[60] 【慕课W06】50-等价关系与划分

842播放

11:57

【慕课W06】50-等价关系与划分

[61] 【慕课W06】51-划分之间的关系

732播放

09:24

【慕课W06】51-划分之间的关系

[62] 【慕课W06】52-划分运算

1342播放

10:18

【慕课W06】52-划分运算

[63] 【慕课W06】53-序关系

1146播放

12:22

【慕课W06】53-序关系

[64] 【慕课W06】54-序关系中的特殊...

1292播放

17:32

【慕课W06】54-序关系中的特殊元素

[65] 【慕课W06】55-函数

1427播放

14:39

【慕课W06】55-函数

[66] 【慕课W06】56-函数合成

1021播放

05:59

【慕课W06】56-函数合成

[67] 【慕课W06】57-特殊函数类

639播放

08:26

【慕课W06】57-特殊函数类

[68] 第8周【课堂实录8-1】特殊关系及...

722播放

53:44

第8周【课堂实录8-1】特殊关系及函数；课堂报告

[69] 第8周【课堂实录8-2】课堂报告

1440播放

49:09

第8周【课堂实录8-2】课堂报告

[70] 【慕课W07】58-图的定义

1717播放

09:13

【慕课W07】58-图的定义

[71] 【慕课W07】59-图的基本概念

1121播放

07:39

【慕课W07】59-图的基本概念

[72] 【慕课W07】61-子图与同构图

942播放

08:33

【慕课W07】61-子图与同构图

[73] 【慕课W07】62-路径与连通性

727播放

12:44

【慕课W07】62-路径与连通性

[74] 【慕课W07】63-连通性

864播放

07:51

【慕课W07】63-连通性

[75] 【慕课W07】64-欧拉图与哈密顿...

1391播放

12:22

【慕课W07】64-欧拉图与哈密顿图

[76] 第9周【课堂实录9-1】图的基本概...

1541播放

56:23

第9周【课堂实录9-1】图的基本概念；社会网络；小世界现象

[77] 第9周【课堂实录9-2】图数据库n...

1336播放

50:45

第9周【课堂实录9-2】图数据库neo4j；图同构判定；欧拉图可视化

[78] 【慕课W08】65-图的矩阵表示

998播放

12:19

【慕课W08】65-图的矩阵表示

[79] 【慕课W08】66-二分图

1363播放

11:42

【慕课W08】66-二分图

[80] 【慕课W08】67-二分图的匹配

971播放

13:22

【慕课W08】67-二分图的匹配

[81] 【慕课W08】68-平面图

958播放

08:27

【慕课W08】68-平面图

[82] 【慕课W08】69-树

1469播放

09:05

【慕课W08】69-树

[83] 【慕课W08】70-树的应用

957播放

09:47

【慕课W08】70-树的应用

[84] 第10周【课堂实录10-1】-四色...

742播放

57:42

第10周【课堂实录10-1】-四色定理；猫狗兔过河；连通分支；路径可达性

[85] 第10周【课堂实录10-2】二分图...

1505播放

48:35

第10周【课堂实录10-2】二分图最大匹配；N元树二叉树转换；移动机器人路径规划

[86] 【慕课W09】71-抽象代数引言

1718播放

07:15

【慕课W09】71-抽象代数引言

[87] 【慕课W09】72-代数结构

1075播放

10:04

【慕课W09】72-代数结构

[88] 【慕课W09】73-特殊元素：幺元

925播放

04:09

【慕课W09】73-特殊元素：幺元

[89] 【慕课W09】74-特殊元素：零元

1620播放

03:44

【慕课W09】74-特殊元素：零元

[90] 【慕课W09】75-逆元

1353播放

09:27

【慕课W09】75-逆元

[91] 【慕课W09】76-可约元素

1175播放

06:04

【慕课W09】76-可约元素

[92] 【慕课W09】77-同构与同态

1398播放

11:56

【慕课W09】77-同构与同态

[93] 【慕课W09】78-同余关系

1133播放

04:43

【慕课W09】78-同余关系

[94] 【慕课W09】79-群环域

1149播放

04:48

【慕课W09】79-群环域

[95] 第11周【课堂实录11-1】公交换...

722播放

46:05

第11周【课堂实录11-1】公交换乘优化；代数结构性质编程验证；同构验证

[96] 第11周【课堂实录11-2】汉明码...

866播放

58:03

第11周【课堂实录11-2】汉明码编程验证；魔方里的代数；群论与纠错码

[97] 【慕课W10】80-语言及研究方向

1133播放

18:09

【慕课W10】80-语言及研究方向

[98] 【慕课W10】81-形式语言

986播放

13:29

【慕课W10】81-形式语言

[99] 【慕课W10】82-短语结构语法

1022播放

09:57

【慕课W10】82-短语结构语法

[100] 【慕课W10】83-语言及语法表示

577播放

09:57

【慕课W10】83-语言及语法表示

[101] 【慕课W10】84-形式语法分类

925播放

09:28

【慕课W10】84-形式语法分类

[102] 【慕课W10】85-语法分析

764播放

08:10

【慕课W10】85-语法分析

[103] 【慕课W10】86-BNF范式

1423播放

13:28

【慕课W10】86-BNF范式

[104] 【慕课W10】87-语法图

1457播放

08:04

【慕课W10】87-语法图

[105] 【慕课W10】88-正则语法

1483播放

06:56

【慕课W10】88-正则语法

[106] 第12周【课堂实录12-1】四元数...

856播放

1:01:46

第12周【课堂实录12-1】四元数与三维旋转；Python的lex/yacc编程

[107] 第12周【课堂实录12-2】机器翻...

1004播放

48:30

第12周【课堂实录12-2】机器翻译发展史；Python语言BNF描述；编译器和解释器

[108] 【慕课W11】89-有限状态机

1653播放

09:21

【慕课W11】89-有限状态机

[109] 【慕课W11】90-FSM状态图

1327播放

11:08

【慕课W11】90-FSM状态图

[110] 【慕课W11】91-泵引理

972播放

10:34

【慕课W11】91-泵引理

[111] 【慕课W11】92-机器同余

1333播放

06:30

【慕课W11】92-机器同余

[112] 【慕课W11】95-机器化简

1101播放

08:10

【慕课W11】95-机器化简

[113] 【慕课W11】96-带输出的机器

1284播放

09:25

【慕课W11】96-带输出的机器

[114] 【慕课W11】97-程序实现有限状...

1085播放

09:13

【慕课W11】97-程序实现有限状态机