APP下载
反馈
第1周【课堂实录1】这是一门什么课?内容与目标;教学形式(上)
2573 播放
收藏
下载
手机看
登录后可发评论

评论沙发是我的~

热门评论(0)
    全部评论(0)
      选集(193)
      自动播放
      [2] 第1周【课堂实录1】这是一门什么课...
      2573播放
      待播放
      [3] 第1周【课堂实录1】这是一门什么课...
      1800播放
      09:29
      [4] 【慕课W00】01-课程简介
      1300播放
      01:59
      [5] 【慕课W00】02-形式化及其极限...
      1177播放
      09:28
      [6] 【慕课W00】02-形式化及其极限...
      957播放
      09:26
      [7] 【慕课W00】03-悖论、版画、卡...
      1454播放
      05:58
      [8] 【慕课W00】03-悖论、版画、卡...
      1302播放
      06:01
      [9] 【慕课W01】04-数理逻辑介绍
      1060播放
      04:55
      [10] 【慕课W01】05-什么是命题
      1459播放
      05:46
      [11] 【慕课W01】06-排中律
      1181播放
      05:14
      [12] 【慕课W01】07-命题符号化
      662播放
      06:25
      [13] 【慕课W01】08-逻辑联结词(上...
      906播放
      06:58
      [14] 【慕课W01】09-逻辑联结词(下...
      886播放
      07:42
      [15] 【慕课W01】10-命题公式
      849播放
      06:36
      [16] 【慕课W01】11-真值函数
      894播放
      06:37
      [17] 【慕课W01】12-命题形式化
      1333播放
      06:33
      [18] 第2周【课堂实录2-1】上周内容:...
      1213播放
      16:08
      [19] 第2周【课堂实录2-1】上周内容:...
      1079播放
      16:13
      [20] 第2周【课堂实录2-1】上周内容:...
      1468播放
      16:01
      [21] 第2周【课堂实录2-2】课堂报告2...
      700播放
      19:50
      [22] 第2周【课堂实录2-2】课堂报告2...
      1418播放
      20:01
      [23] 第2周【课堂实录2-2】课堂报告2...
      946播放
      19:43
      [24] 【慕课W02】13-数理逻辑-重言...
      1073播放
      06:11
      [25] 【慕课W02】14-逻辑等价式和逻...
      1509播放
      08:52
      [26] 【慕课W02】14-逻辑等价式和逻...
      775播放
      08:49
      [27] 【慕课W02】15-代入原理和替换...
      844播放
      05:41
      [28] 【慕课W02】16-证明逻辑等价式...
      1354播放
      06:58
      [29] 【慕课W02】16-证明逻辑等价式...
      1046播放
      07:02
      [30] 【慕课W02】17-范式及基本术语
      1362播放
      07:26
      [31] 【慕课W02】18-求范式的一般步...
      1026播放
      05:14
      [32] 【慕课W02】18-求范式的一般步...
      1354播放
      05:22
      [33] 【慕课W02】19-主范式(上)
      1343播放
      07:25
      [34] 【慕课W02】19-主范式(下)
      799播放
      07:31
      [35] 【慕课W02】20-联结词集完备性...
      1541播放
      05:16
      [36] 【慕课W02】20-联结词集完备性...
      1145播放
      05:13
      [37] 【慕课W02】21-形式系统和证明...
      1338播放
      07:01
      [38] 【慕课W02】22-命题演算形式系...
      1022播放
      09:06
      [39] 【慕课W02】23-PC中的定理证...
      1192播放
      07:52
      [40] 【慕课W02】24-三个元定理(上...
      1471播放
      07:46
      [41] 【慕课W02】24-三个元定理(下...
      1535播放
      07:50
      [42] 【慕课W02】25-定理判定问题(...
      1169播放
      07:50
      [43] 【慕课W02】25-定理判定问题(...
      1140播放
      07:58
      [44] 第3周【课堂实录3-2】课堂报告2...
      857播放
      17:05
      [45] 第3周【课堂实录3-2】课堂报告2...
      1304播放
      17:08
      [46] 第3周【课堂实录3-2】课堂报告2...
      822播放
      17:04
      [47] 第3周【课堂实录3-3】下周课程内...
      826播放
      13:56
      [48] 第3周【课堂实录3-3】下周课程内...
      820播放
      13:55
      [49] 【慕课W03】26-数理逻辑-个体...
      1326播放
      07:17
      [50] 【慕课W03】26-数理逻辑-个体...
      1503播放
      07:15
      [51] 【慕课W03】27-谓词公式
      697播放
      09:52
      [52] 【慕课W03】28-谓词公式永真式...
      609播放
      07:00
      [53] 【慕课W03】28-谓词公式永真式...
      710播放
      07:07
      [54] 【慕课W03】29-谓词演算形式系...
      1365播放
      09:38
      [55] 【慕课W03】30-全称引入规则及...
      802播放
      08:17
      [56] 【慕课W03】31-自然推理系统(...
      991播放
      07:18
      [57] 【慕课W03】31-自然推理系统(...
      854播放
      07:17
      [58] 【慕课W03】32-ND中的定理证...
      883播放
      06:51
      [59] 第5周【课堂实录5】上周内容:数理...
      1024播放
      33:59
      [60] 第5周【课堂实录5】上周内容:数理...
      565播放
      34:02
      [61] 第5周【课堂实录5】上周内容:数理...
      887播放
      33:52
      [62] 【慕课W04】33-集合论与无限(...
      1138播放
      09:15
      [63] 【慕课W04】33-集合论与无限(...
      753播放
      09:23
      [64] 【慕课W04】34-集合基本概念(...
      1298播放
      07:40
      [65] 【慕课W04】34-集合基本概念(...
      641播放
      07:38
      [66] 【慕课W04】35-子集合(上)
      826播放
      06:45
      [67] 【慕课W04】35-子集合(下)
      1258播放
      06:47
      [68] 【慕课W04】36-集合基本运算(...
      1240播放
      11:33
      [69] 【慕课W04】36-集合基本运算(...
      1265播放
      11:36
      [70] 【慕课W04】37-集合族及运算(...
      1458播放
      08:33
      [71] 【慕课W04】37-集合族及运算(...
      1437播放
      08:35
      [72] 【慕课W04】38-归纳定义(上)
      693播放
      05:10
      [73] 【慕课W04】38-归纳定义(下)
      744播放
      05:14
      [74] 【慕课W04】39-自然数的定义(...
      630播放
      05:49
      [75] 【慕课W04】39-自然数的定义(...
      1323播放
      05:56
      [76] 【慕课W04】40-归纳原理
      827播放
      07:25
      [77] 【慕课W04】41-数学归纳法(上...
      1475播放
      06:01
      [78] 【慕课W04】41-数学归纳法(下...
      1497播放
      06:07
      [79] 第6周【课堂实录6-1】上周内容:...
      1062播放
      16:46
      [80] 第6周【课堂实录6-1】上周内容:...
      1408播放
      16:51
      [81] 第6周【课堂实录6-1】上周内容:...
      1030播放
      16:42
      [82] 第6周【课堂实录6-2】课堂报告-...
      679播放
      21:13
      [83] 第6周【课堂实录6-2】课堂报告-...
      996播放
      21:17
      [84] 第6周【课堂实录6-2】课堂报告-...
      974播放
      21:05
      [85] 【慕课W05】42-有序组
      557播放
      06:59
      [86] 【慕课W05】43-笛卡尔积
      1403播放
      08:36
      [87] 【慕课W05】44-关系定义(上)
      1157播放
      07:10
      [88] 【慕课W05】44-关系定义(下)
      847播放
      07:14
      [89] 【慕课W05】45-关系运算
      937播放
      09:13
      [90] 【慕课W05】47-关系基本特性(...
      1045播放
      05:25
      [91] 【慕课W05】47-关系基本特性(...
      1309播放
      05:32
      [92] 【慕课W05】48-关系特性定理(...
      607播放
      08:19
      [93] 【慕课W05】48-关系特性定理(...
      736播放
      08:20
      [94] 第7周【课堂实录7-1】集合代数;...
      959播放
      16:08
      [95] 第7周【课堂实录7-1】集合代数;...
      1343播放
      16:12
      [96] 第7周【课堂实录7-1】集合代数;...
      1383播放
      16:03
      [97] 第7周【课堂实录7-2】课堂报告-...
      1009播放
      17:43
      [98] 第7周【课堂实录7-2】课堂报告-...
      881播放
      17:48
      [99] 第7周【课堂实录7-2】课堂报告-...
      897播放
      17:34
      [100] 【慕课W06】49-等价关系(上)
      634播放
      05:44
      [101] 【慕课W06】49-等价关系(下)
      1422播放
      05:45
      [102] 【慕课W06】50-等价关系与划分...
      687播放
      06:00
      [103] 【慕课W06】50-等价关系与划分...
      910播放
      06:06
      [104] 【慕课W06】51-划分之间的关系
      1077播放
      09:24
      [105] 【慕课W06】52-划分运算(上)
      913播放
      05:11
      [106] 【慕课W06】52-划分运算(下)
      1431播放
      05:15
      [107] 【慕课W06】53-序关系(上)
      555播放
      06:13
      [108] 【慕课W06】53-序关系(下)
      1371播放
      06:19
      [109] 【慕课W06】54-序关系中的特殊...
      849播放
      08:48
      [110] 【慕课W06】54-序关系中的特殊...
      819播放
      08:53
      [111] 【慕课W06】55-函数(上)
      1417播放
      07:21
      [112] 【慕课W06】55-函数(下)
      1331播放
      07:24
      [113] 【慕课W06】56-函数合成
      1472播放
      05:59
      [114] 【慕课W06】57-特殊函数类
      1064播放
      08:26
      [115] 第8周【课堂实录8-1】特殊关系及...
      972播放
      17:57
      [116] 第8周【课堂实录8-1】特殊关系及...
      643播放
      35:21
      [117] 第8周【课堂实录8-1】特殊关系及...
      1137播放
      53:11
      [118] 第8周【课堂实录8-2】课堂报告(...
      615播放
      16:26
      [119] 第8周【课堂实录8-2】课堂报告(...
      1128播放
      16:35
      [120] 第8周【课堂实录8-2】课堂报告(...
      541播放
      16:24
      [121] 【慕课W07】58-图的定义
      1064播放
      09:13
      [122] 【慕课W07】59-图的基本概念
      655播放
      07:39
      [123] 【慕课W07】61-子图与同构图
      1337播放
      08:33
      [124] 【慕课W07】62-路径与连通性(...
      787播放
      06:24
      [125] 【慕课W07】62-路径与连通性(...
      1459播放
      06:29
      [126] 【慕课W07】63-连通性
      696播放
      07:51
      [127] 【慕课W07】64-欧拉图与哈密顿...
      1393播放
      06:13
      [128] 【慕课W07】64-欧拉图与哈密顿...
      593播放
      06:19
      [129] 第9周【课堂实录9-1】图的基本概...
      778播放
      18:50
      [130] 第9周【课堂实录9-1】图的基本概...
      644播放
      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...
      1503播放
      16:57
      [135] 【慕课W08】65-图的矩阵表示(...
      1299播放
      06:11
      [136] 【慕课W08】65-图的矩阵表示(...
      1021播放
      06:16
      [137] 【慕课W08】66-二分图(上)
      886播放
      05:53
      [138] 【慕课W08】66-二分图(下)
      1017播放
      05:51
      [139] 【慕课W08】67-二分图的匹配(...
      704播放
      06:43
      [140] 【慕课W08】67-二分图的匹配(...
      910播放
      06:43
      [141] 【慕课W08】68-平面图
      1490播放
      08:27
      [142] 【慕课W08】69-树
      819播放
      09:05
      [143] 【慕课W08】70-树的应用
      1429播放
      09:47
      [150] 【慕课W09】71-抽象代数引言
      806播放
      07:15
      [151] 【慕课W09】72-代数结构(上)
      860播放
      05:04
      [152] 【慕课W09】72-代数结构(下)
      1520播放
      05:01
      [153] 【慕课W09】73-特殊元素:幺元
      1361播放
      04:09
      [154] 【慕课W09】74-特殊元素:零元
      552播放
      03:44
      [155] 【慕课W09】75-逆元
      659播放
      09:27
      [156] 【慕课W09】76-可约元素
      988播放
      06:04
      [157] 【慕课W09】77-同构与同态(上...
      802播放
      06:00
      [158] 【慕课W09】77-同构与同态(下...
      1158播放
      06:05
      [159] 【慕课W09】78-同余关系
      775播放
      04:43
      [160] 【慕课W09】79-群环域
      1282播放
      04:48
      [167] 【慕课W10】80-语言及研究方向...
      602播放
      09:06
      [168] 【慕课W10】80-语言及研究方向...
      801播放
      09:06
      [169] 【慕课W10】81-形式语言(上)
      1196播放
      06:46
      [170] 【慕课W10】81-形式语言(下)
      699播放
      06:50
      [171] 【慕课W10】82-短语结构语法
      1081播放
      09:57
      [172] 【慕课W10】83-语言及语法表示
      1274播放
      09:57
      [173] 【慕课W10】84-形式语法分类
      1371播放
      09:28
      [174] 【慕课W10】85-语法分析
      1195播放
      08:10
      [175] 【慕课W10】86-BNF范式(上...
      1013播放
      06:46
      [176] 【慕课W10】86-BNF范式(下...
      857播放
      06:49
      [177] 【慕课W10】87-语法图
      868播放
      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】四元数...
      906播放
      20:36
      [185] 【慕课W11】89-有限状态机
      1093播放
      09:21
      [186] 【慕课W11】90-FSM状态图(...
      1092播放
      05:36
      [187] 【慕课W11】90-FSM状态图(...
      582播放
      05:41
      [188] 【慕课W11】91-泵引理(上)
      1094播放
      05:19
      [189] 【慕课W11】91-泵引理(下)
      1386播放
      05:19
      [190] 【慕课W11】92-机器同余
      654播放
      06:30
      [191] 【慕课W11】95-机器化简
      1180播放
      08:10
      [192] 【慕课W11】96-带输出的机器
      683播放
      09:25
      [193] 【慕课W11】97-程序实现有限状...
      1101播放
      09:13
      为你推荐
      06:42
      【新】007第五章 课堂教学组织形...
      1263播放
      41:23
      第五讲:礼治秩序与无讼现场
      3.7万播放
      23:06
      10.8 课堂教学实录(中)
      1493播放
      15:29
      第六章 课堂实录 下(下)
      1304播放
      15:02
      【诺贝尔奖解析—医学篇】课堂实录(...
      1295播放
      34:53
      上课实录6:贝三(2016)(下)
      1638播放
      08:00
      真牛人!每天3点起床!实录晨间日程...
      8230播放
      11:16
      【土木工程施工技术】5.6课程实录...
      1214播放
      00:17
      未来公开课:看见自己,看见未来
      8764播放
      02:30
      99年死刑犯告别家人实录,害怕得大...
      1424播放
      02:25
      2011年药家鑫死刑实录,撞人后连...
      1226播放
      14:44
      二次大戰全彩實錄:7.力挽狂瀾(上...
      708播放
      02:15
      64年桑吉巴尔大屠杀实录,3万阿拉...
      573播放