【慕课+课堂实录】离散数学-北京大学-陈斌-字幕校对-【更新慕课第11周】-第2周【课堂实录2-1】上周内容：数理逻辑-基本概念-课堂报告1（中）-网易公开课

已购课程

个人中心 

内容中心

 关注我们

进入关怀模式

APP下载

反馈

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

1939 播放

下载

手机看

登录后可发评论

评论沙发是我的～

选集(193)

自动播放

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

1.0万播放

00:38

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

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

6933播放

09:23

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

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

3170播放

09:29

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

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

2440播放

01:59

【慕课W00】01-课程简介

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

2967播放

09:28

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

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

2127播放

09:26

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

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

2564播放

05:58

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

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

1972播放

06:01

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

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

1840播放

04:55

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

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

2009播放

05:46

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

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

1691播放

05:14

【慕课W01】06-排中律

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

1132播放

06:25

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

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

1336播放

06:58

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

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

1336播放

07:42

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

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

1549播放

06:36

【慕课W01】10-命题公式

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

1514播放

06:37

【慕课W01】11-真值函数

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

1693播放

06:33

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

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

2153播放

16:08

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

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

1939播放

待播放

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

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

1718播放

16:01

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

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

1160播放

19:50

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

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

1788播放

20:01

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

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

1236播放

19:43

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

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

1343播放

06:11

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

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

1909播放

08:52

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

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

1185播放

08:49

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

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

1084播放

05:41

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

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

1724播放

06:58

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

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

1346播放

07:02

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

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

1502播放

07:26

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

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

1206播放

05:14

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

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

1494播放

05:22

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

[33] 【慕课W02】19-主范式（上）

1483播放

07:25

【慕课W02】19-主范式（上）

[34] 【慕课W02】19-主范式（下）

959播放

07:31

【慕课W02】19-主范式（下）

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

1941播放

05:16

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

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

1365播放

05:13

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

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

1488播放

07:01

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

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

1122播放

09:06

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

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

1292播放

07:52

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

[40] 【慕课W02】24-三个元定理（上...

1601播放

07:46

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

[41] 【慕课W02】24-三个元定理（下...

1675播放

07:50

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

[42] 【慕课W02】25-定理判定问题（...

1289播放

07:50

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

[43] 【慕课W02】25-定理判定问题（...

1220播放

07:58

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

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

887播放

17:05

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

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

1334播放

17:08

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

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

892播放

17:04

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

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

1376播放

13:56

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

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

920播放

13:55

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

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

1536播放

07:17

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

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

1693播放

07:15

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

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

767播放

09:52

【慕课W03】27-谓词公式

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

799播放

07:00

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

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

910播放

07:07

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

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

1455播放

09:38

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

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

862播放

08:17

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

[56] 【慕课W03】31-自然推理系统（...

1131播放

07:18

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

[57] 【慕课W03】31-自然推理系统（...

904播放

07:17

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

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

933播放

06:51

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

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

1054播放

33:59

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

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

575播放

34:02

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

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

907播放

33:52

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

[62] 【慕课W04】33-集合论与无限（...

1418播放

09:15

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

[63] 【慕课W04】33-集合论与无限（...

963播放

09:23

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

[64] 【慕课W04】34-集合基本概念（...

1428播放

07:40

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

[65] 【慕课W04】34-集合基本概念（...

711播放

07:38

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

[66] 【慕课W04】35-子集合（上）

906播放

06:45

【慕课W04】35-子集合（上）

[67] 【慕课W04】35-子集合（下）

1358播放

06:47

【慕课W04】35-子集合（下）

[68] 【慕课W04】36-集合基本运算（...

1460播放

11:33

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

[69] 【慕课W04】36-集合基本运算（...

1345播放

11:36

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

[70] 【慕课W04】37-集合族及运算（...

1508播放

08:33

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

[71] 【慕课W04】37-集合族及运算（...

1547播放

08:35

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

[72] 【慕课W04】38-归纳定义（上）

763播放

05:10

【慕课W04】38-归纳定义（上）

[73] 【慕课W04】38-归纳定义（下）

814播放

05:14

【慕课W04】38-归纳定义（下）

[74] 【慕课W04】39-自然数的定义（...

710播放

05:49

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

[75] 【慕课W04】39-自然数的定义（...

1393播放

05:56

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

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

897播放

07:25

【慕课W04】40-归纳原理

[77] 【慕课W04】41-数学归纳法（上...

1815播放

06:01

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

[78] 【慕课W04】41-数学归纳法（下...

2477播放

06:07

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

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

1352播放

16:46

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

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

1458播放

16:51

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

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

1130播放

16:42

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

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

1429播放

21:13

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

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

1296播放

21:17

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

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

1204播放

21:05

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

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

727播放

06:59

【慕课W05】42-有序组

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

1573播放

08:36

【慕课W05】43-笛卡尔积

[87] 【慕课W05】44-关系定义（上）

1267播放

07:10

【慕课W05】44-关系定义（上）

[88] 【慕课W05】44-关系定义（下）

927播放

07:14

【慕课W05】44-关系定义（下）

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

1067播放

09:13

【慕课W05】45-关系运算

[90] 【慕课W05】47-关系基本特性（...

1165播放

05:25

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

[91] 【慕课W05】47-关系基本特性（...

1379播放

05:32

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

[92] 【慕课W05】48-关系特性定理（...

677播放

08:19

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

[93] 【慕课W05】48-关系特性定理（...

886播放

08:20

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

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

1189播放

16:08

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

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

1423播放

16:12

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

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

1493播放

16:03

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

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

1069播放

17:43

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

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

941播放

17:48

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

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

917播放

17:34

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

[100] 【慕课W06】49-等价关系（上）

694播放

05:44

【慕课W06】49-等价关系（上）

[101] 【慕课W06】49-等价关系（下）

1492播放

05:45

【慕课W06】49-等价关系（下）

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

777播放

06:00

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

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

990播放

06:06

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

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

1177播放

09:24

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

[105] 【慕课W06】52-划分运算（上）

963播放

05:11

【慕课W06】52-划分运算（上）

[106] 【慕课W06】52-划分运算（下）

1491播放

05:15

【慕课W06】52-划分运算（下）

[107] 【慕课W06】53-序关系（上）

675播放

06:13

【慕课W06】53-序关系（上）

[108] 【慕课W06】53-序关系（下）

1461播放

06:19

【慕课W06】53-序关系（下）

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

909播放

08:48

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

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

889播放

08:53

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

[111] 【慕课W06】55-函数（上）

1507播放

07:21

【慕课W06】55-函数（上）

[112] 【慕课W06】55-函数（下）

1401播放

07:24

【慕课W06】55-函数（下）

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

1542播放

05:59

【慕课W06】56-函数合成

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

1134播放

08:26

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

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

1342播放

17:57

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

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

763播放

35:21

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

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

1187播放

53:11

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

[118] 第8周【课堂实录8-2】课堂报告（...

655播放

16:26

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

[119] 第8周【课堂实录8-2】课堂报告（...

1178播放

16:35

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

[120] 第8周【课堂实录8-2】课堂报告（...

691播放

16:24

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

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

1204播放

09:13

【慕课W07】58-图的定义

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

755播放

07:39

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

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

1417播放

08:33

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

[124] 【慕课W07】62-路径与连通性（...

827播放

06:24

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

[125] 【慕课W07】62-路径与连通性（...

1509播放

06:29

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

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

756播放

07:51

【慕课W07】63-连通性

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

1503播放

06:13

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

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

723播放

06:19

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

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

848播放

18:50

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

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

684播放

18:59

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

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

1036播放

18:54

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

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

757播放

16:58

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

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

659播放

17:08

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

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

1533播放

16:57

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

[135] 【慕课W08】65-图的矩阵表示（...

1379播放

06:11

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

[136] 【慕课W08】65-图的矩阵表示（...

1141播放

06:16

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

[137] 【慕课W08】66-二分图（上）

1026播放

05:53

【慕课W08】66-二分图（上）

[138] 【慕课W08】66-二分图（下）

1067播放

05:51

【慕课W08】66-二分图（下）

[139] 【慕课W08】67-二分图的匹配（...

804播放

06:43

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

[140] 【慕课W08】67-二分图的匹配（...

970播放

06:43

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

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

1530播放

08:27

【慕课W08】68-平面图

[142] 【慕课W08】69-树

899播放

09:05

【慕课W08】69-树

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

1519播放

09:47

【慕课W08】70-树的应用

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

1051播放

19:17

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

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

992播放

19:24

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

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

916播放

19:13

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

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

744播放

16:14

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

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

744播放

16:18

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

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

1477播放

16:13

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

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

966播放

07:15

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

[151] 【慕课W09】72-代数结构（上）

1010播放

05:04

【慕课W09】72-代数结构（上）

[152] 【慕课W09】72-代数结构（下）

1690播放

05:01

【慕课W09】72-代数结构（下）

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

1461播放

04:09

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

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

652播放

03:44

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

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

729播放

09:27

【慕课W09】75-逆元

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

1068播放

06:04

【慕课W09】76-可约元素

[157] 【慕课W09】77-同构与同态（上...

962播放

06:00

【慕课W09】77-同构与同态（上）

[158] 【慕课W09】77-同构与同态（下...

1238播放

06:05

【慕课W09】77-同构与同态（下）

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

845播放

04:43

【慕课W09】78-同余关系

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

1362播放

04:48

【慕课W09】79-群环域

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

1540播放

15:24

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

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

808播放

15:33

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

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

840播放

15:20

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

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

1374播放

19:24

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

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

1443播放

19:28

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

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

876播放

19:25

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

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

692播放

09:06

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

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

891播放

09:06

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

[169] 【慕课W10】81-形式语言（上）

1236播放

06:46

【慕课W10】81-形式语言（上）

[170] 【慕课W10】81-形式语言（下）

739播放

06:50

【慕课W10】81-形式语言（下）

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

1101播放

09:57

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

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

1294播放

09:57

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

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

1391播放

09:28

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

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

1225播放

08:10

【慕课W10】85-语法分析

[175] 【慕课W10】86-BNF范式（上...

1053播放

06:46

【慕课W10】86-BNF范式（上）

[176] 【慕课W10】86-BNF范式（下...

877播放

06:49

【慕课W10】86-BNF范式（下）

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

888播放

08:04

【慕课W10】87-语法图

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

893播放

06:56

【慕课W10】88-正则语法

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

1564播放

20:38

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

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

1661播放

20:42

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

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

1036播放

20:36

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

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

766播放

16:13

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

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

1310播放

16:16

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

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

1273播放

30:34

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

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

1113播放

09:21

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

[186] 【慕课W11】90-FSM状态图（...

1142播放

05:36

【慕课W11】90-FSM状态图（上）

[187] 【慕课W11】90-FSM状态图（...

582播放

05:41

【慕课W11】90-FSM状态图（下）

[188] 【慕课W11】91-泵引理（上）

1134播放

05:19

【慕课W11】91-泵引理（上）

[189] 【慕课W11】91-泵引理（下）

1406播放

05:19

【慕课W11】91-泵引理（下）

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

654播放

06:30

【慕课W11】92-机器同余

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

1200播放

08:10

【慕课W11】95-机器化简

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

683播放

09:25

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

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

1201播放

09:13

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