APP下载
反馈
第11周【课堂实录11-1】公交换乘优化;代数结构性质编程验证;同构验证(上)
1440 播放
收藏
下载
手机看
登录后可发评论

评论沙发是我的~

热门评论(0)
    全部评论(0)
      选集(193)
      自动播放
      [2] 第1周【课堂实录1】这是一门什么课...
      3193播放
      09:23
      [3] 第1周【课堂实录1】这是一门什么课...
      1990播放
      09:29
      [4] 【慕课W00】01-课程简介
      1390播放
      01:59
      [5] 【慕课W00】02-形式化及其极限...
      1347播放
      09:28
      [6] 【慕课W00】02-形式化及其极限...
      1017播放
      09:26
      [7] 【慕课W00】03-悖论、版画、卡...
      1564播放
      05:58
      [8] 【慕课W00】03-悖论、版画、卡...
      1362播放
      06:01
      [9] 【慕课W01】04-数理逻辑介绍
      1180播放
      04:55
      [10] 【慕课W01】05-什么是命题
      1559播放
      05:46
      [11] 【慕课W01】06-排中律
      1291播放
      05:14
      [12] 【慕课W01】07-命题符号化
      752播放
      06:25
      [13] 【慕课W01】08-逻辑联结词(上...
      996播放
      06:58
      [14] 【慕课W01】09-逻辑联结词(下...
      976播放
      07:42
      [15] 【慕课W01】10-命题公式
      939播放
      06:36
      [16] 【慕课W01】11-真值函数
      964播放
      06:37
      [17] 【慕课W01】12-命题形式化
      1413播放
      06:33
      [18] 第2周【课堂实录2-1】上周内容:...
      1323播放
      16:08
      [19] 第2周【课堂实录2-1】上周内容:...
      1179播放
      16:13
      [20] 第2周【课堂实录2-1】上周内容:...
      1508播放
      16:01
      [21] 第2周【课堂实录2-2】课堂报告2...
      730播放
      19:50
      [22] 第2周【课堂实录2-2】课堂报告2...
      1478播放
      20:01
      [23] 第2周【课堂实录2-2】课堂报告2...
      996播放
      19:43
      [24] 【慕课W02】13-数理逻辑-重言...
      1123播放
      06:11
      [25] 【慕课W02】14-逻辑等价式和逻...
      1569播放
      08:52
      [26] 【慕课W02】14-逻辑等价式和逻...
      855播放
      08:49
      [27] 【慕课W02】15-代入原理和替换...
      924播放
      05:41
      [28] 【慕课W02】16-证明逻辑等价式...
      1444播放
      06:58
      [29] 【慕课W02】16-证明逻辑等价式...
      1096播放
      07:02
      [30] 【慕课W02】17-范式及基本术语
      1402播放
      07:26
      [31] 【慕课W02】18-求范式的一般步...
      1076播放
      05:14
      [32] 【慕课W02】18-求范式的一般步...
      1384播放
      05:22
      [33] 【慕课W02】19-主范式(上)
      1383播放
      07:25
      [34] 【慕课W02】19-主范式(下)
      839播放
      07:31
      [35] 【慕课W02】20-联结词集完备性...
      1661播放
      05:16
      [36] 【慕课W02】20-联结词集完备性...
      1215播放
      05:13
      [37] 【慕课W02】21-形式系统和证明...
      1368播放
      07:01
      [38] 【慕课W02】22-命题演算形式系...
      1052播放
      09:06
      [39] 【慕课W02】23-PC中的定理证...
      1222播放
      07:52
      [40] 【慕课W02】24-三个元定理(上...
      1491播放
      07:46
      [41] 【慕课W02】24-三个元定理(下...
      1565播放
      07:50
      [42] 【慕课W02】25-定理判定问题(...
      1199播放
      07:50
      [43] 【慕课W02】25-定理判定问题(...
      1150播放
      07:58
      [44] 第3周【课堂实录3-2】课堂报告2...
      867播放
      17:05
      [45] 第3周【课堂实录3-2】课堂报告2...
      1314播放
      17:08
      [46] 第3周【课堂实录3-2】课堂报告2...
      852播放
      17:04
      [47] 第3周【课堂实录3-3】下周课程内...
      926播放
      13:56
      [48] 第3周【课堂实录3-3】下周课程内...
      840播放
      13:55
      [49] 【慕课W03】26-数理逻辑-个体...
      1386播放
      07:17
      [50] 【慕课W03】26-数理逻辑-个体...
      1513播放
      07:15
      [51] 【慕课W03】27-谓词公式
      717播放
      09:52
      [52] 【慕课W03】28-谓词公式永真式...
      659播放
      07:00
      [53] 【慕课W03】28-谓词公式永真式...
      760播放
      07:07
      [54] 【慕课W03】29-谓词演算形式系...
      1385播放
      09:38
      [55] 【慕课W03】30-全称引入规则及...
      822播放
      08:17
      [56] 【慕课W03】31-自然推理系统(...
      1021播放
      07:18
      [57] 【慕课W03】31-自然推理系统(...
      874播放
      07:17
      [58] 【慕课W03】32-ND中的定理证...
      903播放
      06:51
      [59] 第5周【课堂实录5】上周内容:数理...
      1034播放
      33:59
      [60] 第5周【课堂实录5】上周内容:数理...
      565播放
      34:02
      [61] 第5周【课堂实录5】上周内容:数理...
      887播放
      33:52
      [62] 【慕课W04】33-集合论与无限(...
      1228播放
      09:15
      [63] 【慕课W04】33-集合论与无限(...
      813播放
      09:23
      [64] 【慕课W04】34-集合基本概念(...
      1338播放
      07:40
      [65] 【慕课W04】34-集合基本概念(...
      671播放
      07:38
      [66] 【慕课W04】35-子集合(上)
      856播放
      06:45
      [67] 【慕课W04】35-子集合(下)
      1298播放
      06:47
      [68] 【慕课W04】36-集合基本运算(...
      1300播放
      11:33
      [69] 【慕课W04】36-集合基本运算(...
      1295播放
      11:36
      [70] 【慕课W04】37-集合族及运算(...
      1478播放
      08:33
      [71] 【慕课W04】37-集合族及运算(...
      1477播放
      08:35
      [72] 【慕课W04】38-归纳定义(上)
      713播放
      05:10
      [73] 【慕课W04】38-归纳定义(下)
      764播放
      05:14
      [74] 【慕课W04】39-自然数的定义(...
      650播放
      05:49
      [75] 【慕课W04】39-自然数的定义(...
      1353播放
      05:56
      [76] 【慕课W04】40-归纳原理
      847播放
      07:25
      [77] 【慕课W04】41-数学归纳法(上...
      1545播放
      06:01
      [78] 【慕课W04】41-数学归纳法(下...
      1677播放
      06:07
      [79] 第6周【课堂实录6-1】上周内容:...
      1122播放
      16:46
      [80] 第6周【课堂实录6-1】上周内容:...
      1408播放
      16:51
      [81] 第6周【课堂实录6-1】上周内容:...
      1040播放
      16:42
      [82] 第6周【课堂实录6-2】课堂报告-...
      879播放
      21:13
      [83] 第6周【课堂实录6-2】课堂报告-...
      1036播放
      21:17
      [84] 第6周【课堂实录6-2】课堂报告-...
      984播放
      21:05
      [85] 【慕课W05】42-有序组
      627播放
      06:59
      [86] 【慕课W05】43-笛卡尔积
      1443播放
      08:36
      [87] 【慕课W05】44-关系定义(上)
      1197播放
      07:10
      [88] 【慕课W05】44-关系定义(下)
      867播放
      07:14
      [89] 【慕课W05】45-关系运算
      977播放
      09:13
      [90] 【慕课W05】47-关系基本特性(...
      1075播放
      05:25
      [91] 【慕课W05】47-关系基本特性(...
      1329播放
      05:32
      [92] 【慕课W05】48-关系特性定理(...
      627播放
      08:19
      [93] 【慕课W05】48-关系特性定理(...
      796播放
      08:20
      [94] 第7周【课堂实录7-1】集合代数;...
      1019播放
      16:08
      [95] 第7周【课堂实录7-1】集合代数;...
      1373播放
      16:12
      [96] 第7周【课堂实录7-1】集合代数;...
      1403播放
      16:03
      [97] 第7周【课堂实录7-2】课堂报告-...
      1029播放
      17:43
      [98] 第7周【课堂实录7-2】课堂报告-...
      901播放
      17:48
      [99] 第7周【课堂实录7-2】课堂报告-...
      897播放
      17:34
      [100] 【慕课W06】49-等价关系(上)
      654播放
      05:44
      [101] 【慕课W06】49-等价关系(下)
      1442播放
      05:45
      [102] 【慕课W06】50-等价关系与划分...
      717播放
      06:00
      [103] 【慕课W06】50-等价关系与划分...
      940播放
      06:06
      [104] 【慕课W06】51-划分之间的关系
      1117播放
      09:24
      [105] 【慕课W06】52-划分运算(上)
      933播放
      05:11
      [106] 【慕课W06】52-划分运算(下)
      1451播放
      05:15
      [107] 【慕课W06】53-序关系(上)
      605播放
      06:13
      [108] 【慕课W06】53-序关系(下)
      1401播放
      06:19
      [109] 【慕课W06】54-序关系中的特殊...
      869播放
      08:48
      [110] 【慕课W06】54-序关系中的特殊...
      849播放
      08:53
      [111] 【慕课W06】55-函数(上)
      1447播放
      07:21
      [112] 【慕课W06】55-函数(下)
      1351播放
      07:24
      [113] 【慕课W06】56-函数合成
      1502播放
      05:59
      [114] 【慕课W06】57-特殊函数类
      1084播放
      08:26
      [115] 第8周【课堂实录8-1】特殊关系及...
      1032播放
      17:57
      [116] 第8周【课堂实录8-1】特殊关系及...
      673播放
      35:21
      [117] 第8周【课堂实录8-1】特殊关系及...
      1147播放
      53:11
      [118] 第8周【课堂实录8-2】课堂报告(...
      625播放
      16:26
      [119] 第8周【课堂实录8-2】课堂报告(...
      1138播放
      16:35
      [120] 第8周【课堂实录8-2】课堂报告(...
      581播放
      16:24
      [121] 【慕课W07】58-图的定义
      1094播放
      09:13
      [122] 【慕课W07】59-图的基本概念
      675播放
      07:39
      [123] 【慕课W07】61-子图与同构图
      1357播放
      08:33
      [124] 【慕课W07】62-路径与连通性(...
      797播放
      06:24
      [125] 【慕课W07】62-路径与连通性(...
      1469播放
      06:29
      [126] 【慕课W07】63-连通性
      706播放
      07:51
      [127] 【慕课W07】64-欧拉图与哈密顿...
      1423播放
      06:13
      [128] 【慕课W07】64-欧拉图与哈密顿...
      633播放
      06:19
      [129] 第9周【课堂实录9-1】图的基本概...
      788播放
      18:50
      [130] 第9周【课堂实录9-1】图的基本概...
      654播放
      18:59
      [131] 第9周【课堂实录9-1】图的基本概...
      1006播放
      18:54
      [132] 第9周【课堂实录9-2】图数据库n...
      747播放
      16:58
      [133] 第9周【课堂实录9-2】图数据库n...
      639播放
      17:08
      [134] 第9周【课堂实录9-2】图数据库n...
      1513播放
      16:57
      [135] 【慕课W08】65-图的矩阵表示(...
      1319播放
      06:11
      [136] 【慕课W08】65-图的矩阵表示(...
      1041播放
      06:16
      [137] 【慕课W08】66-二分图(上)
      916播放
      05:53
      [138] 【慕课W08】66-二分图(下)
      1027播放
      05:51
      [139] 【慕课W08】67-二分图的匹配(...
      724播放
      06:43
      [140] 【慕课W08】67-二分图的匹配(...
      920播放
      06:43
      [141] 【慕课W08】68-平面图
      1500播放
      08:27
      [142] 【慕课W08】69-树
      839播放
      09:05
      [143] 【慕课W08】70-树的应用
      1459播放
      09:47
      [150] 【慕课W09】71-抽象代数引言
      876播放
      07:15
      [151] 【慕课W09】72-代数结构(上)
      910播放
      05:04
      [152] 【慕课W09】72-代数结构(下)
      1570播放
      05:01
      [153] 【慕课W09】73-特殊元素:幺元
      1401播放
      04:09
      [154] 【慕课W09】74-特殊元素:零元
      592播放
      03:44
      [155] 【慕课W09】75-逆元
      689播放
      09:27
      [156] 【慕课W09】76-可约元素
      1018播放
      06:04
      [157] 【慕课W09】77-同构与同态(上...
      852播放
      06:00
      [158] 【慕课W09】77-同构与同态(下...
      1188播放
      06:05
      [159] 【慕课W09】78-同余关系
      805播放
      04:43
      [160] 【慕课W09】79-群环域
      1312播放
      04:48
      [161] 第11周【课堂实录11-1】公交换...
      1440播放
      待播放
      [167] 【慕课W10】80-语言及研究方向...
      632播放
      09:06
      [168] 【慕课W10】80-语言及研究方向...
      811播放
      09:06
      [169] 【慕课W10】81-形式语言(上)
      1206播放
      06:46
      [170] 【慕课W10】81-形式语言(下)
      719播放
      06:50
      [171] 【慕课W10】82-短语结构语法
      1091播放
      09:57
      [172] 【慕课W10】83-语言及语法表示
      1284播放
      09:57
      [173] 【慕课W10】84-形式语法分类
      1381播放
      09:28
      [174] 【慕课W10】85-语法分析
      1205播放
      08:10
      [175] 【慕课W10】86-BNF范式(上...
      1023播放
      06:46
      [176] 【慕课W10】86-BNF范式(下...
      867播放
      06:49
      [177] 【慕课W10】87-语法图
      878播放
      08:04
      [178] 【慕课W10】88-正则语法
      893播放
      06:56
      [179] 第12周【课堂实录12-1】四元数...
      1434播放
      20:38
      [180] 第12周【课堂实录12-1】四元数...
      1511播放
      20:42
      [181] 第12周【课堂实录12-1】四元数...
      916播放
      20:36
      [185] 【慕课W11】89-有限状态机
      1103播放
      09:21
      [186] 【慕课W11】90-FSM状态图(...
      1102播放
      05:36
      [187] 【慕课W11】90-FSM状态图(...
      582播放
      05:41
      [188] 【慕课W11】91-泵引理(上)
      1114播放
      05:19
      [189] 【慕课W11】91-泵引理(下)
      1386播放
      05:19
      [190] 【慕课W11】92-机器同余
      654播放
      06:30
      [191] 【慕课W11】95-机器化简
      1190播放
      08:10
      [192] 【慕课W11】96-带输出的机器
      683播放
      09:25
      [193] 【慕课W11】97-程序实现有限状...
      1121播放
      09:13
      为你推荐
      06:26
      【湖南大学_信号与系统】2.6 卷...
      1631播放
      13:22
      怎样学习数学建模(下)
      1.7万播放
      15:01
      军事问题数学建模(上)
      7.9万播放
      16:26
      软件之灵魂——算法(上)
      5.0万播放
      02:40
      代数趣味求值,选对方法,让人眼前一...
      1333播放
      03:29
      代数求值,有4次方,求a²+1
      1357播放
      01:32
      看完同桌解法,才感觉代数真便利!
      1274播放
      13:20
      【可汗学院公开课:算术与代数预备课...
      47.3万播放
      08:05
      2.10 代数法化简(下)
      1612播放
      10:26
      统计学的基本概念2(下)
      2004播放
      13:58
      【中山大学公开课:逻辑学导引】人工...
      3937播放
      14:13
      6. How to find th...
      1.2万播放
      06:38
      003第一章第二讲余子式和代数余子...
      2146播放
      15:35
      【上海交通大学公开课:数学之旅】函...
      12.1万播放