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

已购课程

个人中心 

内容中心

 关注我们

进入关怀模式

APP下载

反馈

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

1113 播放

下载

手机看

登录后可发评论

评论沙发是我的～

选集(193)

自动播放

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

1848播放

00:38

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

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

1933播放

09:23

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

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

1650播放

09:29

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

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

1130播放

01:59

【慕课W00】01-课程简介

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

877播放

09:28

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

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

827播放

09:26

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

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

1304播放

05:58

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

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

1182播放

06:01

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

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

900播放

04:55

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

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

1339播放

05:46

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

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

1091播放

05:14

【慕课W01】06-排中律

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

572播放

06:25

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

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

826播放

06:58

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

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

826播放

07:42

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

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

779播放

06:36

【慕课W01】10-命题公式

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

824播放

06:37

【慕课W01】11-真值函数

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

1263播放

06:33

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

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

1113播放

待播放

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

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

959播放

16:13

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

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

1428播放

16:01

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

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

630播放

19:50

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

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

1358播放

20:01

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

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

886播放

19:43

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

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

1003播放

06:11

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

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

1439播放

08:52

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

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

695播放

08:49

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

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

824播放

05:41

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

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

1324播放

06:58

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

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

996播放

07:02

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

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

1342播放

07:26

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

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

1006播放

05:14

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

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

1334播放

05:22

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

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

1323播放

07:25

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

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

779播放

07:31

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

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

1491播放

05:16

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

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

1105播放

05:13

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

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

1318播放

07:01

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

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

1002播放

09:06

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

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

1172播放

07:52

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

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

1451播放

07:46

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

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

1515播放

07:50

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

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

1149播放

07:50

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

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

1110播放

07:58

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

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

847播放

17:05

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

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

1294播放

17:08

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

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

812播放

17:04

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

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

716播放

13:56

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

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

800播放

13:55

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

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

1296播放

07:17

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

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

1453播放

07:15

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

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

667播放

09:52

【慕课W03】27-谓词公式

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

579播放

07:00

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

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

670播放

07:07

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

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

1315播放

09:38

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

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

782播放

08:17

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

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

981播放

07:18

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

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

844播放

07:17

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

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

873播放

06:51

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

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

1014播放

33:59

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

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

555播放

34:02

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

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

867播放

33:52

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

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

1088播放

09:15

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

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

723播放

09:23

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

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

1278播放

07:40

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

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

631播放

07:38

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

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

816播放

06:45

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

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

1248播放

06:47

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

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

1210播放

11:33

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

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

1255播放

11:36

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

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

1448播放

08:33

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

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

1407播放

08:35

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

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

683播放

05:10

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

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

734播放

05:14

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

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

620播放

05:49

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

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

1313播放

05:56

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

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

817播放

07:25

【慕课W04】40-归纳原理

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

1415播放

06:01

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

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

1107播放

06:07

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

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

992播放

16:46

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

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

1368播放

16:51

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

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

990播放

16:42

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

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

519播放

21:13

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

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

926播放

21:17

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

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

924播放

21:05

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

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

527播放

06:59

【慕课W05】42-有序组

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

1363播放

08:36

【慕课W05】43-笛卡尔积

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

1137播放

07:10

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

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

827播放

07:14

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

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

907播放

09:13

【慕课W05】45-关系运算

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

1025播放

05:25

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

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

1279播放

05:32

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

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

587播放

08:19

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

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

716播放

08:20

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

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

939播放

16:08

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

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

1323播放

16:12

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

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

1363播放

16:03

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

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

989播放

17:43

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

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

861播放

17:48

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

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

877播放

17:34

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

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

614播放

05:44

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

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

1392播放

05:45

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

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

667播放

06:00

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

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

890播放

06:06

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

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

1057播放

09:24

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

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

903播放

05:11

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

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

1421播放

05:15

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

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

535播放

06:13

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

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

1341播放

06:19

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

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

829播放

08:48

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

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

809播放

08:53

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

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

1397播放

07:21

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

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

1321播放

07:24

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

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

1462播放

05:59

【慕课W06】56-函数合成

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

1054播放

08:26

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

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

962播放

17:57

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

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

623播放

35:21

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

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

1117播放

53:11

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

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

605播放

16:26

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

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

1118播放

16:35

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

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

511播放

16:24

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

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

1054播放

09:13

【慕课W07】58-图的定义

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

645播放

07:39

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

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

1327播放

08:33

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

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

777播放

06:24

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

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

1449播放

06:29

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

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

676播放

07:51

【慕课W07】63-连通性

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

1373播放

06:13

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

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

583播放

06:19

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

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

758播放

18:50

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

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

634播放

18:59

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

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

996播放

18:54

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

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

737播放

16:58

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

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

629播放

17:08

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

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

1493播放

16:57

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

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

1289播放

06:11

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

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

1011播放

06:16

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

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

866播放

05:53

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

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

1007播放

05:51

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

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

684播放

06:43

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

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

890播放

06:43

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

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

1480播放

08:27

【慕课W08】68-平面图

[142] 【慕课W08】69-树

799播放

09:05

【慕课W08】69-树

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

1419播放

09:47

【慕课W08】70-树的应用

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

981播放

19:17

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

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

972播放

19:24

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

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

876播放

19:13

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

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

704播放

16:14

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

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

674播放

16:18

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

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

1457播放

16:13

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

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

786播放

07:15

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

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

830播放

05:04

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

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

1510播放

05:01

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

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

1341播放

04:09

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

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

532播放

03:44

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

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

649播放

09:27

【慕课W09】75-逆元

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

968播放

06:04

【慕课W09】76-可约元素

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

772播放

06:00

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

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

1148播放

06:05

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

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

765播放

04:43

【慕课W09】78-同余关系

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

1262播放

04:48

【慕课W09】79-群环域

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

1360播放

15:24

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

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

768播放

15:33

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

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

800播放

15:20

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

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

1194播放

19:24

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

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

1363播放

19:28

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

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

776播放

19:25

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

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

582播放

09:06

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

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

751播放

09:06

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

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

1196播放

06:46

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

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

699播放

06:50

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

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

1081播放

09:57

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

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

1274播放

09:57

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

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

1371播放

09:28

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

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

1195播放

08:10

【慕课W10】85-语法分析

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

1013播放

06:46

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

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

857播放

06:49

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

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

868播放

08:04

【慕课W10】87-语法图

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

893播放

06:56

【慕课W10】88-正则语法

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

1404播放

20:38

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

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

1461播放

20:42

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

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

856播放

20:36

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

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

756播放

16:13

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

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

1280播放

16:16

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

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

1213播放

30:34

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

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

1093播放

09:21

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

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

1072播放

05:36

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

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

582播放

05:41

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

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

1094播放

05:19

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

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

1366播放

05:19

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

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

654播放

06:30

【慕课W11】92-机器同余

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

1180播放

08:10

【慕课W11】95-机器化简

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

683播放

09:25

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

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

1101播放

09:13

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