APP下载
反馈
122-教学录像-一阶谓词演算的自然推演形式系统NL (IV)(上)
1470 播放
收藏
下载
手机看
登录后可发评论

评论沙发是我的~

热门评论(0)
    全部评论(0)
      选集(271)
      自动播放
      [1] 1-教学录像-集合论与图论课程引言
      2165播放
      09:06
      [2] 2-教学录像-预备知识(命题逻辑)...
      1025播放
      16:27
      [3] 2-教学录像-预备知识(命题逻辑)...
      1395播放
      16:37
      [4] 2-教学录像-预备知识(命题逻辑)...
      1270播放
      16:26
      [5] 4-教学录像-集合的概念和集合之间...
      3275播放
      14:11
      [6] 4-教学录像-集合的概念和集合之间...
      1290播放
      14:07
      [7] 5-教学录像-集合的运算(上)
      810播放
      13:13
      [8] 5-教学录像-集合的运算(下)
      1379播放
      13:10
      [9] 6-教学录像-基本的集合恒等式(上...
      1098播放
      15:32
      [10] 6-教学录像-基本的集合恒等式(中...
      1478播放
      15:35
      [11] 6-教学录像-基本的集合恒等式(下...
      967播放
      15:32
      [12] 7-教学录像-有序对与卡氏积(上)
      956播放
      16:44
      [13] 7-教学录像-有序对与卡氏积(中)
      860播放
      16:52
      [14] 7-教学录像-有序对与卡氏积(下)
      1128播放
      16:36
      [15] 8-教学录像-二元关系(上)
      1066播放
      15:47
      [16] 8-教学录像-二元关系(中)
      1550播放
      15:54
      [17] 8-教学录像-二元关系(下)
      916播放
      15:41
      [18] 9-教学录像-关系的表示和关系的性...
      1417播放
      15:42
      [19] 9-教学录像-关系的表示和关系的性...
      693播放
      15:45
      [20] 9-教学录像-关系的表示和关系的性...
      800播放
      15:41
      [21] 10-教学录像-关系幂运算和关系闭...
      680播放
      17:00
      [22] 10-教学录像-关系幂运算和关系闭...
      1039播放
      17:08
      [23] 10-教学录像-关系幂运算和关系闭...
      1329播放
      16:53
      [24] 11-教学录像-等价关系和划分(上...
      1137播放
      16:46
      [25] 11-教学录像-等价关系和划分(中...
      1369播放
      16:48
      [26] 11-教学录像-等价关系和划分(下...
      1370播放
      16:46
      [27] 12-教学录像-序关系(上)
      1143播放
      16:52
      [28] 12-教学录像-序关系(中)
      836播放
      16:58
      [29] 12-教学录像-序关系(下)
      957播放
      16:46
      [30] 13-教学录像-函数(上)
      966播放
      16:59
      [31] 13-教学录像-函数(中)
      779播放
      17:06
      [32] 13-教学录像-函数(下)
      1150播放
      16:54
      [33] 14-教学录像-集合论习题课(1-...
      1128播放
      14:50
      [34] 14-教学录像-集合论习题课(1-...
      1432播放
      26:27
      [35] 14-教学录像-集合论习题课(1-...
      714播放
      41:10
      [36] 15-教学录像-自然数的定义(上)
      1007播放
      16:16
      [37] 15-教学录像-自然数的定义(中)
      966播放
      16:25
      [38] 15-教学录像-自然数的定义(下)
      1385播放
      16:13
      [39] 16-教学录像-自然数的性质(上)
      1360播放
      12:48
      [40] 16-教学录像-自然数的性质(中)
      1521播放
      12:54
      [41] 16-教学录像-自然数的性质(下)
      1490播放
      12:40
      [42] 17-教学录像-集合的等势、有穷集...
      1627播放
      16:01
      [43] 17-教学录像-集合的等势、有穷集...
      1370播放
      16:09
      [44] 17-教学录像-集合的等势、有穷集...
      1274播放
      16:01
      [45] 18-教学录像-基数和基数的比较与...
      574播放
      16:52
      [46] 18-教学录像-基数和基数的比较与...
      696播放
      16:55
      [47] 18-教学录像-基数和基数的比较与...
      1014播放
      16:44
      [48] 19-教学录像-序数和集合论公理(...
      1369播放
      14:37
      [49] 19-教学录像-序数和集合论公理(...
      1113播放
      14:43
      [50] 19-教学录像-序数和集合论公理(...
      1257播放
      14:39
      [51] 20-教学录像-图的基本概念(上)
      1553播放
      19:14
      [52] 20-教学录像-图的基本概念(中)
      1272播放
      19:23
      [53] 20-教学录像-图的基本概念(下)
      1509播放
      19:12
      [54] 21-教学录像-通路与回路(上)
      750播放
      06:28
      [55] 21-教学录像-通路与回路(下)
      960播放
      06:31
      [56] 22-教学录像-无向图与有向图的连...
      1019播放
      11:01
      [57] 22-教学录像-无向图与有向图的连...
      752播放
      11:01
      [58] 26-教学录像-哈密顿图(上)
      997播放
      16:22
      [59] 26-教学录像-哈密顿图(中)
      625播放
      16:27
      [60] 26-教学录像-哈密顿图(下)
      1186播放
      16:19
      [61] 27-教学录像-树(上)
      1194播放
      16:48
      [62] 27-教学录像-树(中)
      1524播放
      16:49
      [63] 27-教学录像-树(下)
      1232播放
      16:41
      [64] 29-教学录像-平面图的概念(上)
      826播放
      05:48
      [65] 29-教学录像-平面图的概念(下)
      1191播放
      05:54
      [66] 30-教学录像-欧拉公式与平面图的...
      1300播放
      12:01
      [67] 30-教学录像-欧拉公式与平面图的...
      1465播放
      12:01
      [68] 31-教学录像-平面图的对偶图、外...
      1503播放
      07:56
      [69] 31-教学录像-平面图的对偶图、外...
      1059播放
      07:59
      [70] 32-教学录像-平面图与哈密顿图(...
      694播放
      08:21
      [71] 32-教学录像-平面图与哈密顿图(...
      968播放
      08:20
      [72] 33-教学录像-点着色与色多项式(...
      780播放
      16:24
      [73] 33-教学录像-点着色与色多项式(...
      1019播放
      16:27
      [74] 33-教学录像-点着色与色多项式(...
      772播放
      16:25
      [75] 34-教学录像-平面图着色与边着色...
      580播放
      11:00
      [76] 34-教学录像-平面图着色与边着色...
      1394播放
      11:04
      [77] 34-教学录像-平面图着色与边着色...
      1484播放
      10:58
      [78] 38-教学录像-二部图中的匹配(上...
      828播放
      14:35
      [79] 38-教学录像-二部图中的匹配(中...
      614播放
      14:39
      [80] 38-教学录像-二部图中的匹配(下...
      603播放
      14:35
      [81] 39-教学录像-中国邮递员问题和货...
      1066播放
      10:16
      [82] 39-教学录像-中国邮递员问题和货...
      1456播放
      10:21
      [83] 39-教学录像-中国邮递员问题和货...
      1037播放
      10:12
      [84] 40-教学录像-课程总结
      908播放
      07:29
      [85] 41-教学录像-引言(上)
      1261播放
      16:50
      [86] 41-教学录像-引言(中)
      838播放
      16:55
      [87] 41-教学录像-引言(下)
      1096播放
      16:46
      [88] 42-教学录像-二元运算及其性质(...
      1444播放
      17:00
      [89] 42-教学录像-二元运算及其性质(...
      1368播放
      17:00
      [90] 42-教学录像-二元运算及其性质(...
      1195播放
      17:01
      [91] 43-教学录像-二元运算及其性质(...
      1023播放
      10:27
      [92] 43-教学录像-二元运算及其性质(...
      1479播放
      10:29
      [93] 43-教学录像-二元运算及其性质(...
      608播放
      10:26
      [94] 44-教学录像-代数系统(上)
      981播放
      09:44
      [95] 44-教学录像-代数系统(下)
      955播放
      09:43
      [96] 45-教学录像-子代数和积代数(上...
      868播放
      16:34
      [97] 45-教学录像-子代数和积代数(中...
      1329播放
      16:35
      [98] 45-教学录像-子代数和积代数(下...
      667播放
      16:30
      [99] 46-教学录像-代数系统的同态与同...
      643播放
      14:42
      [100] 46-教学录像-代数系统的同态与同...
      737播放
      14:44
      [101] 46-教学录像-代数系统的同态与同...
      1333播放
      14:40
      [102] 47-教学录像-同余关系与商代数(...
      1270播放
      14:55
      [103] 47-教学录像-同余关系与商代数(...
      785播放
      15:02
      [104] 47-教学录像-同余关系与商代数(...
      916播放
      14:55
      [105] 48-教学录像-商代数及小结(上)
      1224播放
      17:33
      [106] 48-教学录像-商代数及小结(中)
      1349播放
      17:38
      [107] 48-教学录像-商代数及小结(下)
      605播放
      31:01
      [108] 49-教学录像-半群与独异点(上)
      1110播放
      14:04
      [109] 49-教学录像-半群与独异点(中)
      1381播放
      14:04
      [110] 49-教学录像-半群与独异点(下)
      1346播放
      14:04
      [111] 50-教学录像-直积、商代数与同态...
      927播放
      10:56
      [112] 50-教学录像-直积、商代数与同态...
      906播放
      11:03
      [113] 50-教学录像-直积、商代数与同态...
      981播放
      10:56
      [114] 51-教学录像-引言(上)
      621播放
      06:11
      [115] 51-教学录像-引言(下)
      916播放
      06:11
      [116] 52-教学录像-群的定义和性质(上...
      943播放
      18:29
      [117] 52-教学录像-群的定义和性质(中...
      1155播放
      18:30
      [118] 52-教学录像-群的定义和性质(下...
      706播放
      18:26
      [119] 53-教学录像-群的性质(上)
      900播放
      09:15
      [120] 53-教学录像-群的性质(下)
      1102播放
      09:18
      [121] 54-教学录像-子群(1)(上)
      634播放
      16:31
      [122] 54-教学录像-子群(1)(中)
      604播放
      16:36
      [123] 54-教学录像-子群(1)(下)
      1235播放
      16:33
      [124] 55-教学录像-子群(2)(上)
      1243播放
      07:58
      [125] 55-教学录像-子群(2)(下)
      1005播放
      08:03
      [126] 56-教学录像-循环群(上)
      1021播放
      11:21
      [127] 56-教学录像-循环群(中)
      937播放
      11:30
      [128] 56-教学录像-循环群(下)
      1417播放
      11:16
      [129] 57-教学录像-变换群与置换群(上...
      996播放
      17:10
      [130] 57-教学录像-变换群与置换群(中...
      1356播放
      17:10
      [131] 57-教学录像-变换群与置换群(下...
      1092播放
      17:09
      [132] 58-教学录像-置换群(2)(上)
      825播放
      11:15
      [133] 58-教学录像-置换群(2)(下)
      688播放
      11:19
      [134] 59-教学录像-群的分解(1)(上...
      1482播放
      14:05
      [135] 59-教学录像-群的分解(1)(下...
      607播放
      14:09
      [136] 60-教学录像-群的分解及正规子群...
      545播放
      16:44
      [137] 60-教学录像-群的分解及正规子群...
      1015播放
      16:53
      [138] 60-教学录像-群的分解及正规子群...
      693播放
      16:41
      [139] 61-教学录像-商群与群同态(上)
      1498播放
      13:06
      [140] 61-教学录像-商群与群同态(中)
      769播放
      13:09
      [141] 61-教学录像-商群与群同态(下)
      595播放
      13:04
      [142] 62-教学录像-环的定义和性质(上...
      1219播放
      15:58
      [143] 62-教学录像-环的定义和性质(中...
      1173播放
      16:04
      [144] 62-教学录像-环的定义和性质(下...
      587播放
      15:49
      [145] 63-教学录像-子环、理想、商环和...
      884播放
      13:24
      [146] 63-教学录像-子环、理想、商环和...
      1157播放
      13:32
      [147] 63-教学录像-子环、理想、商环和...
      1362播放
      13:17
      [148] 64-教学录像-格的定义和性质(上...
      1443播放
      16:44
      [149] 64-教学录像-格的定义和性质(中...
      1082播放
      16:50
      [150] 64-教学录像-格的定义和性质(下...
      1311播放
      16:38
      [151] 65-教学录像-子格格同态及直积(...
      1544播放
      12:40
      [152] 65-教学录像-子格格同态及直积(...
      1010播放
      12:39
      [153] 66-教学录像-特殊的格(1)(上...
      830播放
      12:04
      [154] 66-教学录像-特殊的格(1)(下...
      963播放
      12:03
      [155] 67-教学录像-有补格、布尔格(2...
      939播放
      06:24
      [156] 67-教学录像-有补格、布尔格(2...
      1253播放
      06:22
      [157] 68-教学录像-布尔代数(3)(上...
      1021播放
      11:24
      [158] 68-教学录像-布尔代数(3)(中...
      985播放
      11:33
      [159] 68-教学录像-布尔代数(3)(下...
      1830播放
      11:23
      [160] 69-教学录像-组合数学引言(上)
      1390播放
      16:32
      [161] 69-教学录像-组合数学引言(中)
      1564播放
      16:32
      [162] 69-教学录像-组合数学引言(下)
      1249播放
      16:28
      [163] 70-教学录像-鸽巢原理与Rams...
      684播放
      17:07
      [164] 70-教学录像-鸽巢原理与Rams...
      1032播放
      17:10
      [165] 70-教学录像-鸽巢原理与Rams...
      775播放
      17:01
      [166] 71-教学录像-组合存在性应用(上...
      1089播放
      11:08
      [167] 71-教学录像-组合存在性应用(中...
      1046播放
      11:11
      [168] 71-教学录像-组合存在性应用(下...
      980播放
      11:08
      [169] 72-教学录像-两个计数原则、排列...
      1384播放
      08:08
      [170] 72-教学录像-两个计数原则、排列...
      977播放
      08:11
      [171] 73-教学录像-排列与组合(上)
      1499播放
      17:09
      [172] 73-教学录像-排列与组合(中)
      791播放
      23:33
      [173] 73-教学录像-排列与组合(下)
      911播放
      40:34
      [174] 74-教学录像-二项式定理与组合恒...
      1195播放
      05:22
      [175] 74-教学录像-二项式定理与组合恒...
      585播放
      05:28
      [176] 75-教学录像-组合恒等式(2)(...
      942播放
      17:36
      [177] 75-教学录像-组合恒等式(2)(...
      901播放
      17:38
      [178] 75-教学录像-组合恒等式(2)(...
      1114播放
      17:27
      [179] 76-教学录像-多项式定理、组合计...
      1399播放
      12:07
      [180] 76-教学录像-多项式定理、组合计...
      688播放
      12:09
      [181] 77-教学录像-递推方程的公式解法...
      931播放
      15:21
      [182] 77-教学录像-递推方程的公式解法...
      972播放
      15:22
      [183] 77-教学录像-递推方程的公式解法...
      1047播放
      15:20
      [184] 78-教学录像-递推方程的公式解法...
      1181播放
      16:06
      [185] 78-教学录像-递推方程的公式解法...
      936播放
      24:41
      [186] 78-教学录像-递推方程的公式解法...
      596播放
      40:38
      [187] 80-教学录像-递推方程应用
      787播放
      08:48
      [188] 81-教学录像-生成函数的定义和性...
      857播放
      13:18
      [189] 81-教学录像-生成函数的定义和性...
      1230播放
      13:24
      [190] 82-教学录像-生成函数与组合计数...
      1492播放
      05:41
      [191] 82-教学录像-生成函数与组合计数...
      844播放
      05:44
      [192] 84-教学录像-指数生成函数
      1459播放
      06:21
      [193] 85-教学录像-Catalan数与...
      1407播放
      14:30
      [194] 85-教学录像-Catalan数与...
      610播放
      14:36
      [195] 85-教学录像-Catalan数与...
      696播放
      14:31
      [196] 86-教学录像-包含排斥原理、对称...
      974播放
      16:20
      [197] 86-教学录像-包含排斥原理、对称...
      596播放
      24:05
      [198] 86-教学录像-包含排斥原理、对称...
      952播放
      40:18
      [199] 87-教学录像-棋盘多项式(上)
      1393播放
      07:08
      [200] 87-教学录像-棋盘多项式(下)
      595播放
      07:09
      [201] 88-教学录像-Burnside引...
      903播放
      08:19
      [202] 89-教学录像-Polya定理(2...
      586播放
      16:43
      [203] 89-教学录像-Polya定理(2...
      878播放
      16:44
      [204] 89-教学录像-Polya定理(2...
      665播放
      16:43
      [205] 90-教学录像-课程总结(上)
      524播放
      18:47
      [206] 90-教学录像-课程总结(中)
      875播放
      18:54
      [207] 90-教学录像-课程总结(下)
      1112播放
      18:43
      [208] 92-教学录像-命题与联结词 (I...
      1398播放
      15:10
      [209] 92-教学录像-命题与联结词 (I...
      914播放
      15:18
      [210] 92-教学录像-命题与联结词 (I...
      1252播放
      15:10
      [211] 93-教学录像-命题与联结词 (I...
      1360播放
      12:40
      [212] 93-教学录像-命题与联结词 (I...
      1250播放
      12:47
      [213] 93-教学录像-命题与联结词 (I...
      1310播放
      12:35
      [214] 95-教学录像-命题形式与真值表 ...
      1101播放
      16:14
      [215] 95-教学录像-命题形式与真值表 ...
      717播放
      30:22
      [216] 95-教学录像-命题形式与真值表 ...
      638播放
      46:27
      [217] 97-教学录像-联结词的完全集 (...
      1453播放
      16:39
      [218] 97-教学录像-联结词的完全集 (...
      1193播放
      16:45
      [219] 97-教学录像-联结词的完全集 (...
      619播放
      16:35
      [220] 99-教学录像-命题演算的自然推理...
      1413播放
      05:19
      [221] 103-教学录像-命题演算的自然推...
      1018播放
      08:09
      [222] 103-教学录像-命题演算的自然推...
      581播放
      08:07
      [223] 105-教学录像-命题演算形式系统...
      534播放
      14:35
      [224] 105-教学录像-命题演算形式系统...
      1197播放
      14:36
      [225] 105-教学录像-命题演算形式系统...
      763播放
      14:32
      [226] 108-教学录像-命题演算形式系统...
      734播放
      01:42
      [227] 113-教学录像-命题范式(上)
      954播放
      11:24
      [228] 113-教学录像-命题范式(中)
      1223播放
      11:24
      [229] 113-教学录像-命题范式(下)
      1344播放
      11:21
      [230] 114-教学录像-可靠性、和谐性与...
      1225播放
      15:01
      [231] 114-教学录像-可靠性、和谐性与...
      1325播放
      15:05
      [232] 114-教学录像-可靠性、和谐性与...
      1040播放
      14:54
      [233] 117-教学录像-一阶语言 (I)...
      1099播放
      15:51
      [234] 117-教学录像-一阶语言 (I)...
      1137播放
      15:51
      [235] 117-教学录像-一阶语言 (I)...
      800播放
      15:50
      [236] 118-教学录像-一阶语言 (II...
      818播放
      14:52
      [237] 118-教学录像-一阶语言 (II...
      1229播放
      14:53
      [238] 118-教学录像-一阶语言 (II...
      1500播放
      14:49
      [239] 121-教学录像-一阶谓词演算的自...
      999播放
      16:15
      [240] 121-教学录像-一阶谓词演算的自...
      820播放
      28:14
      [241] 121-教学录像-一阶谓词演算的自...
      937播放
      44:21
      [242] 122-教学录像-一阶谓词演算的自...
      1470播放
      待播放
      [243] 122-教学录像-一阶谓词演算的自...
      1230播放
      12:34
      [244] 122-教学录像-一阶谓词演算的自...
      869播放
      12:18
      [245] 126-教学录像-一阶谓词演算的形...
      1059播放
      13:13
      [246] 126-教学录像-一阶谓词演算的形...
      1133播放
      13:18
      [247] 126-教学录像-一阶谓词演算的形...
      696播放
      13:12
      [248] 127-教学录像-NL与KL的等价...
      944播放
      18:02
      [249] 127-教学录像-NL与KL的等价...
      1366播放
      18:02
      [250] 127-教学录像-NL与KL的等价...
      1128播放
      17:55
      [251] 128-教学录像-KL的解释与赋值...
      968播放
      15:07
      [252] 128-教学录像-KL的解释与赋值...
      1431播放
      15:13
      [253] 128-教学录像-KL的解释与赋值...
      1171播放
      14:59
      [254] 129-教学录像-KL的解释与赋值...
      698播放
      17:57
      [255] 129-教学录像-KL的解释与赋值...
      956播放
      18:01
      [256] 129-教学录像-KL的解释与赋值...
      1239播放
      17:54
      [257] 130-教学录像-KL的解释与赋值...
      1174播放
      12:52
      [258] 130-教学录像-KL的解释与赋值...
      1367播放
      18:11
      [259] 130-教学录像-KL的解释与赋值...
      891播放
      30:54
      [260] 131-教学录像-KL的解释与赋值...
      1001播放
      14:04
      [261] 131-教学录像-KL的解释与赋值...
      1487播放
      14:11
      [262] 131-教学录像-KL的解释与赋值...
      1460播放
      13:58
      [263] 132-教学录像-KL的解释与赋值...
      883播放
      14:59
      [264] 132-教学录像-KL的解释与赋值...
      624播放
      15:09
      [265] 132-教学录像-KL的解释与赋值...
      832播放
      14:55
      [266] 133-教学录像-KL的解释与赋值...
      1236播放
      15:20
      [267] 133-教学录像-KL的解释与赋值...
      562播放
      15:26
      [268] 133-教学录像-KL的解释与赋值...
      836播放
      15:12
      [269] 134-教学录像-KL的可靠性与和...
      1375播放
      18:58
      [270] 134-教学录像-KL的可靠性与和...
      1428播放
      19:01
      [271] 134-教学录像-KL的可靠性与和...
      939播放
      18:58
      为你推荐
      16:27
      【斯坦福大学:傅里叶变换】P28(...
      1235播放
      02:51
      羚羊大战猎豹三兄弟,顽强的羚羊拼命...
      897播放
      05:48
      《高等代数》全程教学视频(宋浩老师...
      2052播放
      04:11
      《阴阳路》<2/3>经典港式电影,...
      544播放
      01:10
      街头常见的魔术骗局,忽悠了好多人,...
      1384播放
      01:46
      大吼大叫,容易遗传
      634播放
      09:58
      6.7 二重积分的定义和性质(下)
      2377播放
      03:54
      为了传递情报,男人想到一个妙计,谍...
      820播放
      06:43
      12.1 硝基化合物(下)
      1334播放
      08:21
      《保镖》为了抚养8岁的女儿,夜店保...
      857播放
      11:44
      【高考英语听力】高考英语听力(上)
      1520播放
      07:15
      1剂中药方,缓解鼻炎痛苦#鼻炎##...
      755播放
      18:14
      大脚怪传说第二季 第8集(下)
      808播放
      09:13
      全村人配合骗一个人,就连村花都主动...
      1799播放