【慕课+课堂实录】离散数学-北京大学-陈斌-字幕校对-【更新慕课第11周】-【慕课W03】26-数理逻辑-个体、谓词和量词（上）-网易公开课

已购课程

个人中心 

内容中心

 关注我们

进入关怀模式

APP下载

反馈

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

1386 播放

下载

手机看

登录后可发评论

评论沙发是我的～

选集(193)

自动播放

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

4238播放

00:38

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

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

3193播放

09:23

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

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

1990播放

09:29

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

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

1390播放

01:59

【慕课W00】01-课程简介

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

1347播放

09:28

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

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

1017播放

09:26

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

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

1564播放

05:58

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

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

1362播放

06:01

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

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

1180播放

04:55

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

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

1559播放

05:46

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

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

1291播放

05:14

【慕课W01】06-排中律

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

752播放

06:25

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

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

996播放

06:58

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

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

976播放

07:42

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

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

939播放

06:36

【慕课W01】10-命题公式

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

964播放

06:37

【慕课W01】11-真值函数

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

1413播放

06:33

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

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

1323播放

16:08

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

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

1179播放

16:13

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

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

1508播放

16:01

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

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

730播放

19:50

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

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

1478播放

20:01

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

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

996播放

19:43

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

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

1123播放

06:11

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

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

1569播放

08:52

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

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

855播放

08:49

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

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

924播放

05:41

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

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

1444播放

06:58

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

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

1096播放

07:02

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

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

1402播放

07:26

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

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

1076播放

05:14

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

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

1384播放

05:22

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

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

1383播放

07:25

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

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

839播放

07:31

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

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

1661播放

05:16

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

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

1215播放

05:13

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

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

1368播放

07:01

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

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

1052播放

09:06

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

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

1222播放

07:52

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

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

1491播放

07:46

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

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

1565播放

07:50

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

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

1199播放

07:50

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

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

1150播放

07:58

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

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

867播放

17:05

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

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

1314播放

17:08

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

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

852播放

17:04

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

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

926播放

13:56

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

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

840播放

13:55

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

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

1386播放

待播放

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

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

1513播放

07:15

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

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

717播放

09:52

【慕课W03】27-谓词公式

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

659播放

07:00

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

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

760播放

07:07

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

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

1385播放

09:38

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

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

822播放

08:17

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

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

1021播放

07:18

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

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

874播放

07:17

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

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

903播放

06:51

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

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

1034播放

33:59

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

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

565播放

34:02

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

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

887播放

33:52

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

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

1228播放

09:15

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

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

813播放

09:23

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

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

1338播放

07:40

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

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

671播放

07:38

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

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

856播放

06:45

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

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

1298播放

06:47

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

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

1300播放

11:33

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

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

1295播放

11:36

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

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

1478播放

08:33

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

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

1477播放

08:35

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

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

713播放

05:10

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

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

764播放

05:14

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

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

650播放

05:49

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

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

1353播放

05:56

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

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

847播放

07:25

【慕课W04】40-归纳原理

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

1545播放

06:01

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

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

1677播放

06:07

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

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

1112播放

16:46

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

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

1408播放

16:51

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

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

1040播放

16:42

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

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

879播放

21:13

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

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

1036播放

21:17

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

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

984播放

21:05

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

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

627播放

06:59

【慕课W05】42-有序组

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

1443播放

08:36

【慕课W05】43-笛卡尔积

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

1197播放

07:10

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

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

867播放

07:14

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

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

977播放

09:13

【慕课W05】45-关系运算

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

1075播放

05:25

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

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

1329播放

05:32

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

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

627播放

08:19

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

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

796播放

08:20

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

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

1019播放

16:08

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

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

1373播放

16:12

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

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

1403播放

16:03

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

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

1029播放

17:43

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

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

901播放

17:48

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

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

897播放

17:34

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

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

654播放

05:44

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

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

1442播放

05:45

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

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

717播放

06:00

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

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

940播放

06:06

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

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

1117播放

09:24

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

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

933播放

05:11

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

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

1451播放

05:15

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

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

605播放

06:13

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

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

1401播放

06:19

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

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

869播放

08:48

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

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

849播放

08:53

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

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

1447播放

07:21

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

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

1351播放

07:24

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

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

1502播放

05:59

【慕课W06】56-函数合成

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

1084播放

08:26

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

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

1032播放

17:57

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

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

673播放

35:21

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

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

1147播放

53:11

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

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

625播放

16:26

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

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

1138播放

16:35

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

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

581播放

16:24

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

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

1094播放

09:13

【慕课W07】58-图的定义

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

675播放

07:39

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

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

1357播放

08:33

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

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

797播放

06:24

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

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

1469播放

06:29

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

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

706播放

07:51

【慕课W07】63-连通性

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

1413播放

06:13

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

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

623播放

06:19

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

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

788播放

18:50

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

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

654播放

18:59

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

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

1006播放

18:54

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

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

747播放

16:58

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

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

639播放

17:08

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

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

1513播放

16:57

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

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

1319播放

06:11

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

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

1041播放

06:16

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

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

916播放

05:53

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

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

1027播放

05:51

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

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

724播放

06:43

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

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

920播放

06:43

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

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

1500播放

08:27

【慕课W08】68-平面图

[142] 【慕课W08】69-树

839播放

09:05

【慕课W08】69-树

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

1459播放

09:47

【慕课W08】70-树的应用

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

1011播放

19:17

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

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

982播放

19:24

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

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

896播放

19:13

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

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

724播放

16:14

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

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

694播放

16:18

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

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

1467播放

16:13

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

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

866播放

07:15

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

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

900播放

05:04

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

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

1560播放

05:01

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

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

1391播放

04:09

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

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

582播放

03:44

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

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

689播放

09:27

【慕课W09】75-逆元

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

1018播放

06:04

【慕课W09】76-可约元素

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

852播放

06:00

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

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

1188播放

06:05

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

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

805播放

04:43

【慕课W09】78-同余关系

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

1312播放

04:48

【慕课W09】79-群环域

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

1440播放

15:24

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

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

788播放

15:33

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

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

820播放

15:20

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

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

1234播放

19:24

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

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

1393播放

19:28

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

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

816播放

19:25

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

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

632播放

09:06

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

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

811播放

09:06

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

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

1206播放

06:46

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

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

719播放

06:50

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

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

1091播放

09:57

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

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

1284播放

09:57

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

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

1381播放

09:28

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

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

1205播放

08:10

【慕课W10】85-语法分析

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

1023播放

06:46

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

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

867播放

06:49

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

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

878播放

08:04

【慕课W10】87-语法图

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

893播放

06:56

【慕课W10】88-正则语法

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

1434播放

20:38

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

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

1511播放

20:42

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

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

916播放

20:36

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

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

756播放

16:13

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

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

1290播放

16:16

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

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

1223播放

30:34

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

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

1103播放

09:21

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

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

1102播放

05:36

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

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

582播放

05:41

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

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

1114播放

05:19

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

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

1386播放

05:19

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

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

654播放

06:30

【慕课W11】92-机器同余

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

1190播放

08:10

【慕课W11】95-机器化简

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

683播放

09:25

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

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

1121播放

09:13

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