登录/注册
已购课程
个人中心
已购课程
优惠券
我的收藏
播放记录
我的证书墙
内容中心
关注我们
进入关怀模式
APP下载
反馈
意见反馈
您有什么问题?告诉我们,我们会为你解决
选择问题类型:
新版本体验建议
视频画面花屏
音/视频画面花屏
播放不流畅
其他
请详细描述您的建议、意见、问题等。
提交
第5周【课堂实录5】上周内容:数理逻辑-谓词逻辑及其形式系统-课堂报告(中)
565 播放
小柱解说游戏
收藏
课程免费缓存,随时观看~
下载
打开
网易公开课APP
扫码下载视频
分享
分享到
扫码分享到微信
通过代码可以让这个视频再其他地方播放哦!
复制HTML代码
复制页面代码
手机看
扫描二维码 用手机看
已观看至0分0秒
打开网易公开课APP-我的-右上角扫一扫,在手机上观看,还可以缓存视频,加入学习计划
还没有公开课客户端?
立即下载
登录
后可发评论
评论沙发是我的~
热门评论
(0)
全部评论
(0)
选集(193)
自动播放
[1] 【慕课+课堂实录】离散数学-北京大...
3928播放
00:38
【慕课+课堂实录】离散数学-北京大学-陈斌-字幕校对-【更新慕课第11周】(视频介绍)
[2] 第1周【课堂实录1】这是一门什么课...
2983播放
09:23
第1周【课堂实录1】这是一门什么课?内容与目标;教学形式(上)
[3] 第1周【课堂实录1】这是一门什么课...
1940播放
09:29
第1周【课堂实录1】这是一门什么课?内容与目标;教学形式(下)
[4] 【慕课W00】01-课程简介
1360播放
01:59
【慕课W00】01-课程简介
[5] 【慕课W00】02-形式化及其极限...
1307播放
09:28
【慕课W00】02-形式化及其极限(上)
[6] 【慕课W00】02-形式化及其极限...
977播放
09:26
【慕课W00】02-形式化及其极限(下)
[7] 【慕课W00】03-悖论、版画、卡...
1514播放
05:58
【慕课W00】03-悖论、版画、卡农(上)
[8] 【慕课W00】03-悖论、版画、卡...
1312播放
06:01
【慕课W00】03-悖论、版画、卡农(下)
[9] 【慕课W01】04-数理逻辑介绍
1120播放
04:55
【慕课W01】04-数理逻辑介绍
[10] 【慕课W01】05-什么是命题
1509播放
05:46
【慕课W01】05-什么是命题
[11] 【慕课W01】06-排中律
1251播放
05:14
【慕课W01】06-排中律
[12] 【慕课W01】07-命题符号化
712播放
06:25
【慕课W01】07-命题符号化
[13] 【慕课W01】08-逻辑联结词(上...
946播放
06:58
【慕课W01】08-逻辑联结词(上)
[14] 【慕课W01】09-逻辑联结词(下...
926播放
07:42
【慕课W01】09-逻辑联结词(下)
[15] 【慕课W01】10-命题公式
869播放
06:36
【慕课W01】10-命题公式
[16] 【慕课W01】11-真值函数
904播放
06:37
【慕课W01】11-真值函数
[17] 【慕课W01】12-命题形式化
1353播放
06:33
【慕课W01】12-命题形式化
[18] 第2周【课堂实录2-1】上周内容:...
1243播放
16:08
第2周【课堂实录2-1】上周内容:数理逻辑-基本概念-课堂报告1(上)
[19] 第2周【课堂实录2-1】上周内容:...
1129播放
16:13
第2周【课堂实录2-1】上周内容:数理逻辑-基本概念-课堂报告1(中)
[20] 第2周【课堂实录2-1】上周内容:...
1488播放
16:01
第2周【课堂实录2-1】上周内容:数理逻辑-基本概念-课堂报告1(下)
[21] 第2周【课堂实录2-2】课堂报告2...
710播放
19:50
第2周【课堂实录2-2】课堂报告2(上)
[22] 第2周【课堂实录2-2】课堂报告2...
1428播放
20:01
第2周【课堂实录2-2】课堂报告2(中)
[23] 第2周【课堂实录2-2】课堂报告2...
966播放
19:43
第2周【课堂实录2-2】课堂报告2(下)
[24] 【慕课W02】13-数理逻辑-重言...
1073播放
06:11
【慕课W02】13-数理逻辑-重言式
[25] 【慕课W02】14-逻辑等价式和逻...
1519播放
08:52
【慕课W02】14-逻辑等价式和逻辑蕴涵式(上)
[26] 【慕课W02】14-逻辑等价式和逻...
805播放
08:49
【慕课W02】14-逻辑等价式和逻辑蕴涵式(下)
[27] 【慕课W02】15-代入原理和替换...
894播放
05:41
【慕课W02】15-代入原理和替换原理
[28] 【慕课W02】16-证明逻辑等价式...
1414播放
06:58
【慕课W02】16-证明逻辑等价式和逻辑蕴涵式(上)
[29] 【慕课W02】16-证明逻辑等价式...
1056播放
07:02
【慕课W02】16-证明逻辑等价式和逻辑蕴涵式(下)
[30] 【慕课W02】17-范式及基本术语
1372播放
07:26
【慕课W02】17-范式及基本术语
[31] 【慕课W02】18-求范式的一般步...
1046播放
05:14
【慕课W02】18-求范式的一般步骤(上)
[32] 【慕课W02】18-求范式的一般步...
1354播放
05:22
【慕课W02】18-求范式的一般步骤(下)
[33] 【慕课W02】19-主范式(上)
1343播放
07:25
【慕课W02】19-主范式(上)
[34] 【慕课W02】19-主范式(下)
799播放
07:31
【慕课W02】19-主范式(下)
[35] 【慕课W02】20-联结词集完备性...
1561播放
05:16
【慕课W02】20-联结词集完备性(上)
[36] 【慕课W02】20-联结词集完备性...
1155播放
05:13
【慕课W02】20-联结词集完备性(下)
[37] 【慕课W02】21-形式系统和证明...
1338播放
07:01
【慕课W02】21-形式系统和证明、演绎
[38] 【慕课W02】22-命题演算形式系...
1032播放
09:06
【慕课W02】22-命题演算形式系统PC
[39] 【慕课W02】23-PC中的定理证...
1192播放
07:52
【慕课W02】23-PC中的定理证明
[40] 【慕课W02】24-三个元定理(上...
1471播放
07:46
【慕课W02】24-三个元定理(上)
[41] 【慕课W02】24-三个元定理(下...
1535播放
07:50
【慕课W02】24-三个元定理(下)
[42] 【慕课W02】25-定理判定问题(...
1179播放
07:50
【慕课W02】25-定理判定问题(上)
[43] 【慕课W02】25-定理判定问题(...
1140播放
07:58
【慕课W02】25-定理判定问题(下)
[44] 第3周【课堂实录3-2】课堂报告2...
857播放
17:05
第3周【课堂实录3-2】课堂报告2(上)
[45] 第3周【课堂实录3-2】课堂报告2...
1304播放
17:08
第3周【课堂实录3-2】课堂报告2(中)
[46] 第3周【课堂实录3-2】课堂报告2...
842播放
17:04
第3周【课堂实录3-2】课堂报告2(下)
[47] 第3周【课堂实录3-3】下周课程内...
866播放
13:56
第3周【课堂实录3-3】下周课程内容及课堂报告题目讲解(上)
[48] 第3周【课堂实录3-3】下周课程内...
820播放
13:55
第3周【课堂实录3-3】下周课程内容及课堂报告题目讲解(下)
[49] 【慕课W03】26-数理逻辑-个体...
1346播放
07:17
【慕课W03】26-数理逻辑-个体、谓词和量词(上)
[50] 【慕课W03】26-数理逻辑-个体...
1503播放
07:15
【慕课W03】26-数理逻辑-个体、谓词和量词(下)
[51] 【慕课W03】27-谓词公式
697播放
09:52
【慕课W03】27-谓词公式
[52] 【慕课W03】28-谓词公式永真式...
629播放
07:00
【慕课W03】28-谓词公式永真式(上)
[53] 【慕课W03】28-谓词公式永真式...
740播放
07:07
【慕课W03】28-谓词公式永真式(下)
[54] 【慕课W03】29-谓词演算形式系...
1375播放
09:38
【慕课W03】29-谓词演算形式系统FC
[55] 【慕课W03】30-全称引入规则及...
812播放
08:17
【慕课W03】30-全称引入规则及存在消除规则
[56] 【慕课W03】31-自然推理系统(...
1001播放
07:18
【慕课W03】31-自然推理系统(上)
[57] 【慕课W03】31-自然推理系统(...
864播放
07:17
【慕课W03】31-自然推理系统(下)
[58] 【慕课W03】32-ND中的定理证...
893播放
06:51
【慕课W03】32-ND中的定理证明
[59] 第5周【课堂实录5】上周内容:数理...
1024播放
33:59
第5周【课堂实录5】上周内容:数理逻辑-谓词逻辑及其形式系统-课堂报告(上)
[60] 第5周【课堂实录5】上周内容:数理...
565播放
待播放
第5周【课堂实录5】上周内容:数理逻辑-谓词逻辑及其形式系统-课堂报告(中)
[61] 第5周【课堂实录5】上周内容:数理...
887播放
33:52
第5周【课堂实录5】上周内容:数理逻辑-谓词逻辑及其形式系统-课堂报告(下)
[62] 【慕课W04】33-集合论与无限(...
1178播放
09:15
【慕课W04】33-集合论与无限(上)
[63] 【慕课W04】33-集合论与无限(...
793播放
09:23
【慕课W04】33-集合论与无限(下)
[64] 【慕课W04】34-集合基本概念(...
1318播放
07:40
【慕课W04】34-集合基本概念(上)
[65] 【慕课W04】34-集合基本概念(...
651播放
07:38
【慕课W04】34-集合基本概念(下)
[66] 【慕课W04】35-子集合(上)
836播放
06:45
【慕课W04】35-子集合(上)
[67] 【慕课W04】35-子集合(下)
1288播放
06:47
【慕课W04】35-子集合(下)
[68] 【慕课W04】36-集合基本运算(...
1290播放
11:33
【慕课W04】36-集合基本运算(上)
[69] 【慕课W04】36-集合基本运算(...
1285播放
11:36
【慕课W04】36-集合基本运算(下)
[70] 【慕课W04】37-集合族及运算(...
1468播放
08:33
【慕课W04】37-集合族及运算(上)
[71] 【慕课W04】37-集合族及运算(...
1457播放
08:35
【慕课W04】37-集合族及运算(下)
[72] 【慕课W04】38-归纳定义(上)
703播放
05:10
【慕课W04】38-归纳定义(上)
[73] 【慕课W04】38-归纳定义(下)
754播放
05:14
【慕课W04】38-归纳定义(下)
[74] 【慕课W04】39-自然数的定义(...
640播放
05:49
【慕课W04】39-自然数的定义(上)
[75] 【慕课W04】39-自然数的定义(...
1333播放
05:56
【慕课W04】39-自然数的定义(下)
[76] 【慕课W04】40-归纳原理
837播放
07:25
【慕课W04】40-归纳原理
[77] 【慕课W04】41-数学归纳法(上...
1515播放
06:01
【慕课W04】41-数学归纳法(上)
[78] 【慕课W04】41-数学归纳法(下...
1597播放
06:07
【慕课W04】41-数学归纳法(下)
[79] 第6周【课堂实录6-1】上周内容:...
1072播放
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】课堂报告-...
809播放
21:13
第6周【课堂实录6-2】课堂报告-下周内容(上)
[83] 第6周【课堂实录6-2】课堂报告-...
1026播放
21:17
第6周【课堂实录6-2】课堂报告-下周内容(中)
[84] 第6周【课堂实录6-2】课堂报告-...
974播放
21:05
第6周【课堂实录6-2】课堂报告-下周内容(下)
[85] 【慕课W05】42-有序组
577播放
06:59
【慕课W05】42-有序组
[86] 【慕课W05】43-笛卡尔积
1423播放
08:36
【慕课W05】43-笛卡尔积
[87] 【慕课W05】44-关系定义(上)
1177播放
07:10
【慕课W05】44-关系定义(上)
[88] 【慕课W05】44-关系定义(下)
847播放
07:14
【慕课W05】44-关系定义(下)
[89] 【慕课W05】45-关系运算
957播放
09:13
【慕课W05】45-关系运算
[90] 【慕课W05】47-关系基本特性(...
1055播放
05:25
【慕课W05】47-关系基本特性(上)
[91] 【慕课W05】47-关系基本特性(...
1309播放
05:32
【慕课W05】47-关系基本特性(下)
[92] 【慕课W05】48-关系特性定理(...
607播放
08:19
【慕课W05】48-关系特性定理(上)
[93] 【慕课W05】48-关系特性定理(...
736播放
08:20
【慕课W05】48-关系特性定理(下)
[94] 第7周【课堂实录7-1】集合代数;...
979播放
16:08
第7周【课堂实录7-1】集合代数;课堂报告-关系及运算;关系特性判定(上)
[95] 第7周【课堂实录7-1】集合代数;...
1363播放
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-等价关系(上)
634播放
05:44
【慕课W06】49-等价关系(上)
[101] 【慕课W06】49-等价关系(下)
1422播放
05:45
【慕课W06】49-等价关系(下)
[102] 【慕课W06】50-等价关系与划分...
697播放
06:00
【慕课W06】50-等价关系与划分(上)
[103] 【慕课W06】50-等价关系与划分...
910播放
06:06
【慕课W06】50-等价关系与划分(下)
[104] 【慕课W06】51-划分之间的关系
1077播放
09:24
【慕课W06】51-划分之间的关系
[105] 【慕课W06】52-划分运算(上)
913播放
05:11
【慕课W06】52-划分运算(上)
[106] 【慕课W06】52-划分运算(下)
1431播放
05:15
【慕课W06】52-划分运算(下)
[107] 【慕课W06】53-序关系(上)
555播放
06:13
【慕课W06】53-序关系(上)
[108] 【慕课W06】53-序关系(下)
1371播放
06:19
【慕课W06】53-序关系(下)
[109] 【慕课W06】54-序关系中的特殊...
849播放
08:48
【慕课W06】54-序关系中的特殊元素(上)
[110] 【慕课W06】54-序关系中的特殊...
829播放
08:53
【慕课W06】54-序关系中的特殊元素(下)
[111] 【慕课W06】55-函数(上)
1417播放
07:21
【慕课W06】55-函数(上)
[112] 【慕课W06】55-函数(下)
1331播放
07:24
【慕课W06】55-函数(下)
[113] 【慕课W06】56-函数合成
1472播放
05:59
【慕课W06】56-函数合成
[114] 【慕课W06】57-特殊函数类
1064播放
08:26
【慕课W06】57-特殊函数类
[115] 第8周【课堂实录8-1】特殊关系及...
982播放
17:57
第8周【课堂实录8-1】特殊关系及函数;课堂报告(上)
[116] 第8周【课堂实录8-1】特殊关系及...
663播放
35:21
第8周【课堂实录8-1】特殊关系及函数;课堂报告(中)
[117] 第8周【课堂实录8-1】特殊关系及...
1137播放
53:11
第8周【课堂实录8-1】特殊关系及函数;课堂报告(下)
[118] 第8周【课堂实录8-2】课堂报告(...
615播放
16:26
第8周【课堂实录8-2】课堂报告(上)
[119] 第8周【课堂实录8-2】课堂报告(...
1128播放
16:35
第8周【课堂实录8-2】课堂报告(中)
[120] 第8周【课堂实录8-2】课堂报告(...
571播放
16:24
第8周【课堂实录8-2】课堂报告(下)
[121] 【慕课W07】58-图的定义
1064播放
09:13
【慕课W07】58-图的定义
[122] 【慕课W07】59-图的基本概念
655播放
07:39
【慕课W07】59-图的基本概念
[123] 【慕课W07】61-子图与同构图
1347播放
08:33
【慕课W07】61-子图与同构图
[124] 【慕课W07】62-路径与连通性(...
787播放
06:24
【慕课W07】62-路径与连通性(上)
[125] 【慕课W07】62-路径与连通性(...
1459播放
06:29
【慕课W07】62-路径与连通性(下)
[126] 【慕课W07】63-连通性
696播放
07:51
【慕课W07】63-连通性
[127] 【慕课W07】64-欧拉图与哈密顿...
1403播放
06:13
【慕课W07】64-欧拉图与哈密顿图(上)
[128] 【慕课W07】64-欧拉图与哈密顿...
603播放
06:19
【慕课W07】64-欧拉图与哈密顿图(下)
[129] 第9周【课堂实录9-1】图的基本概...
778播放
18:50
第9周【课堂实录9-1】图的基本概念;社会网络;小世界现象(上)
[130] 第9周【课堂实录9-1】图的基本概...
644播放
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-图的矩阵表示(...
1309播放
06:11
【慕课W08】65-图的矩阵表示(上)
[136] 【慕课W08】65-图的矩阵表示(...
1021播放
06:16
【慕课W08】65-图的矩阵表示(下)
[137] 【慕课W08】66-二分图(上)
886播放
05:53
【慕课W08】66-二分图(上)
[138] 【慕课W08】66-二分图(下)
1017播放
05:51
【慕课W08】66-二分图(下)
[139] 【慕课W08】67-二分图的匹配(...
714播放
06:43
【慕课W08】67-二分图的匹配(上)
[140] 【慕课W08】67-二分图的匹配(...
910播放
06:43
【慕课W08】67-二分图的匹配(下)
[141] 【慕课W08】68-平面图
1490播放
08:27
【慕课W08】68-平面图
[142] 【慕课W08】69-树
819播放
09:05
【慕课W08】69-树
[143] 【慕课W08】70-树的应用
1439播放
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】二分图...
714播放
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-抽象代数引言
836播放
07:15
【慕课W09】71-抽象代数引言
[151] 【慕课W09】72-代数结构(上)
870播放
05:04
【慕课W09】72-代数结构(上)
[152] 【慕课W09】72-代数结构(下)
1540播放
05:01
【慕课W09】72-代数结构(下)
[153] 【慕课W09】73-特殊元素:幺元
1371播放
04:09
【慕课W09】73-特殊元素:幺元
[154] 【慕课W09】74-特殊元素:零元
562播放
03:44
【慕课W09】74-特殊元素:零元
[155] 【慕课W09】75-逆元
669播放
09:27
【慕课W09】75-逆元
[156] 【慕课W09】76-可约元素
1008播放
06:04
【慕课W09】76-可约元素
[157] 【慕课W09】77-同构与同态(上...
842播放
06:00
【慕课W09】77-同构与同态(上)
[158] 【慕课W09】77-同构与同态(下...
1178播放
06:05
【慕课W09】77-同构与同态(下)
[159] 【慕课W09】78-同余关系
795播放
04:43
【慕课W09】78-同余关系
[160] 【慕课W09】79-群环域
1292播放
04:48
【慕课W09】79-群环域
[161] 第11周【课堂实录11-1】公交换...
1410播放
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-语言及研究方向...
602播放
09:06
【慕课W10】80-语言及研究方向(上)
[168] 【慕课W10】80-语言及研究方向...
801播放
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】四元数...
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-有限状态机
1093播放
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-程序实现有限状...
1111播放
09:13
【慕课W11】97-程序实现有限状态机
为你推荐
10:21
TTC 西方现代思想史 Moder...
652播放
TTC 西方现代思想史 Modern Intellectual Tradition - From Descartes to Derrida(13)(上)
14:56
6.3数字控制器的精度分析及功能检...
1187播放
6.3数字控制器的精度分析及功能检验措施(上)
01:30
爸爸学带娃第4天
1409播放
爸爸学带娃第4天
05:40
1.5 传统针灸学的历史足迹(上)
2015播放
1.5 传统针灸学的历史足迹(上)
20:44
初等函数【辞典】9复合函数解析式与...
2.1万播放
初等函数【辞典】9复合函数解析式与单调性(中档)(重要)
10:46
宋明理学 安徽大学公开课(全25集...
2162播放
宋明理学 安徽大学公开课(全25集)(13)(上)
05:54
3.极值与最值-例12(下)
1426播放
3.极值与最值-例12(下)
05:19
模块三 3.1 PM2.5的危害(...
725播放
模块三 3.1 PM2.5的危害(张艳)(上)
05:29
“青梅竹马,两小无猜”出自《长恨歌...
1377播放
“青梅竹马,两小无猜”出自《长恨歌》还是《长干行》?
01:30
如何给第3者一个最深刻的教训
1191播放
如何给第3者一个最深刻的教训
10:41
北京航空航天大学-演讲与口才 第2...
3910播放
北京航空航天大学-演讲与口才 第2讲 演讲本质(下)
00:10
在海滨之夏弹一首《海滨之歌》
650播放
在海滨之夏弹一首《海滨之歌》
00:22
万里长城永不倒,千里黄河水滔滔!这...
1411播放
万里长城永不倒,千里黄河水滔滔!这里是陕北榆林大边长城,位于府谷县,导航转角楼。几百年风雨沧桑,长城...
05:12
揭秘异形家族的关系:黑水是一切的本...
849播放
揭秘异形家族的关系:黑水是一切的本源,人类不过是宿主!
评论沙发是我的~