APP下载
反馈
数理逻辑实验
2596 播放
收藏
下载
手机看
登录后可发评论

评论沙发是我的~

热门评论(0)
    全部评论(0)
      选集(128)
      自动播放
      [1] 课程导论
      3.6万播放
      07:55
      [2] 1.0 数理逻辑简介
      1.6万播放
      03:12
      [3] 1.1命题的基本概念
      9623播放
      09:58
      [4] 1.2 联结词(上)
      8748播放
      11:50
      [5] 1.2 联结词(下)
      3457播放
      11:51
      [6] 1.3 命题公式(上)
      7848播放
      11:59
      [7] 1.3 命题公式(下)
      2761播放
      11:56
      [8] 1.4 命题公式之间的关系(上)
      5616播放
      08:08
      [9] 1.4命题公式之间的关系(中)(上...
      4004播放
      07:35
      [10] 1.4命题公式之间的关系(中)(下...
      1937播放
      07:40
      [11] 1.4命题公式之间的关系(下)
      3991播放
      08:11
      [12] 重难点解析
      3905播放
      04:02
      [13] 重难点解析(上)
      3797播放
      07:15
      [14] 重难点解析(下)
      1607播放
      07:16
      [15] 重难点解析
      3195播放
      01:28
      [16] 重难点解析
      2834播放
      03:24
      [17] 重难点解析
      2995播放
      06:30
      [18] 重难点解析
      2433播放
      03:25
      [19] 重难点解析
      3038播放
      01:45
      [20] 重难点解析
      2559播放
      02:14
      [21] 重难点解析
      1963播放
      02:19
      [22] 重难点解析
      2357播放
      04:47
      [23] 重难点解析
      2465播放
      02:38
      [24] 重难点解析
      1897播放
      03:40
      [25] 1.5 对偶与范式(上)(上)
      4252播放
      07:02
      [26] 1.5 对偶与范式(上)(下)
      1623播放
      07:03
      [27] 1.5 对偶与范式(下)(上)
      3891播放
      11:01
      [28] 1.5 对偶与范式(下)(下)
      1988播放
      11:06
      [29] 1.6 命题逻辑推理理论(上)
      4054播放
      08:48
      [30] 1.6 命题逻辑推理理论(下)
      1162播放
      08:51
      [31] 1.7 命题逻辑小结
      1820播放
      08:59
      [32] 重难点解析
      2331播放
      03:21
      [33] 重难点解析
      1484播放
      02:25
      [34] 2.1 谓词的基本概念(上)(上)
      3088播放
      05:07
      [35] 2.1 谓词的基本概念(上)(下)
      1606播放
      05:03
      [36] 2.1 谓词的基本概念(下)(上)
      2299播放
      05:02
      [37] 2.1 谓词的基本概念(下)(下)
      1113播放
      05:06
      [38] 2.2 谓词公式与解释(上)(上)
      2589播放
      06:21
      [39] 2.2 谓词公式与解释(上)(下)
      1110播放
      06:21
      [40] 2.2 谓词公式与解释(下)(上)
      2346播放
      05:18
      [41] 2.2 谓词公式与解释(下)(下)
      991播放
      05:20
      [42] 2.3 谓词公式间的关系(上)
      2793播放
      08:49
      [43] 2.3 谓词公式间的关系(下)
      1303播放
      08:49
      [44] 重难点解析
      2505播放
      01:50
      [45] 重难点解析
      1525播放
      05:22
      [46] 重难点解析
      1469播放
      02:59
      [47] 重难点解析
      1266播放
      01:38
      [48] 重难点解析
      1616播放
      04:44
      [49] 2.4 前束范式(上)
      2466播放
      08:05
      [50] 2.4 前束范式(下)
      1574播放
      08:06
      [51] 2.5 谓词逻辑推理理论(上)
      2272播放
      07:01
      [52] 2.5 谓词逻辑推理理论(下)(上...
      2065播放
      07:02
      [53] 2.5 谓词逻辑推理理论(下)(下...
      1432播放
      07:06
      [54] 2.6 谓词逻辑小结
      1498播放
      09:53
      [55] 重难点解析
      1604播放
      05:27
      [56] 3.1 集合论简介
      2865播放
      04:07
      [57] 3.2 集合的基本概念(上)
      3185播放
      07:14
      [58] 3.2 集合的基本概念(下)
      1992播放
      07:11
      [59] 3.3 幂集和集族
      2565播放
      04:47
      [60] 3.4 集合运算及其性质
      2605播放
      07:24
      [61] 3.6 有限集合的计数
      2240播放
      04:52
      [62] 重难点分析
      1743播放
      02:14
      [63] 重难点分析
      2075播放
      02:04
      [64] 4.1 二元关系的定义及表示(上)
      4145播放
      06:42
      [65] 4.1 二元关系的定义及表示(下)
      2264播放
      06:46
      [66] 4.2 关系的性质
      3369播放
      06:08
      [67] 4.3 关系的运算(上)
      2794播放
      06:08
      [68] 4.3 关系的运算(下)
      2110播放
      06:10
      [69] 4.4 .关系的性质与运算的联系
      2830播放
      09:34
      [70] 4.5 等价关系与划分
      2747播放
      06:55
      [71] 4.6 相容关系与覆盖
      2100播放
      05:39
      [72] 4.7 偏序关系
      2361播放
      09:59
      [73] 重难点分析
      1555播放
      02:48
      [74] 重难点分析
      1574播放
      02:19
      [75] 重难点分析
      1248播放
      03:08
      [76] 5.1 函数的定义和分类(上)
      2283播放
      06:08
      [77] 5.1 函数的定义和分类(下)
      1705播放
      06:10
      [78] 5.2 函数的运算
      2133播放
      07:15
      [79] 7.0 代数结构简介
      3420播放
      08:13
      [80] 7.1 二元运算及其性质(上)(上...
      2576播放
      05:04
      [81] 7.1 二元运算及其性质(上)(下...
      1645播放
      05:05
      [82] 7.1 二元运算及其性质(下)(上...
      1465播放
      05:08
      [83] 7.1 二元运算及其性质(下)(下...
      1367播放
      05:07
      [84] 7.1 二元运算及其性质(下)
      1546播放
      08:09
      [85] 7.1 二元运算及其性质(下)(上...
      2078播放
      07:30
      [86] 7.1 二元运算及其性质(下)(下...
      1110播放
      07:27
      [87] 7.2 代数系统(上)(上)
      2061播放
      05:17
      [88] 7.2 代数系统(上)(下)
      1017播放
      05:17
      [89] 7.2 代数系统(下)
      1608播放
      08:24
      [90] 8.1 群的定义及其性质(上)
      2749播放
      09:17
      [91] 8.1 群的定义及其性质(下)(上...
      1529播放
      12:56
      [92] 8.1 群的定义及其性质(下)(下...
      1294播放
      12:54
      [93] 8.2 子群与陪集(上)(上)
      1715播放
      07:31
      [94] 8.2 子群与陪集(上)(下)
      862播放
      07:32
      [95] 8.2 子群与陪集(下)(上)
      1516播放
      10:55
      [96] 8.2 子群与陪集(下)(下)
      1400播放
      10:55
      [97] 8.3 特殊的群(上)
      1017播放
      05:35
      [98] 8.3 特殊的群(下)
      920播放
      05:32
      [99] 8.5 群论初步小结(上)
      2170播放
      05:55
      [100] 8.5 群论初步小结(下)
      900播放
      05:54
      [101] 重难点解析
      1271播放
      07:28
      [102] 数理逻辑实验
      2596播放
      待播放
      [103] 集合论实验
      1274播放
      04:06
      [104] 图论实验
      2213播放
      04:14
      [105] 10.1 图论及图的基本介绍
      2925播放
      03:30
      [106] 10.2 图的定义
      2283播放
      09:22
      [107] 10.3 可图化与可简单图化
      1598播放
      04:33
      [108] 10.4 图的同构分类与运算
      2022播放
      07:38
      [109] 重难点分析
      1155播放
      03:24
      [110] 重难点分析
      1826播放
      02:55
      [111] 11.1 通路与回路的定义
      2226播放
      05:54
      [112] 11.2 无向图的连通性
      2324播放
      07:36
      [113] 11.3 有向图的连通性
      1496播放
      05:15
      [114] 12.1 邻接矩阵(上)
      1732播放
      05:05
      [115] 12.1 邻接矩阵(下)
      1080播放
      05:04
      [116] 12.2 可达矩阵
      1327播放
      05:23
      [117] 12.3 关联矩阵
      1421播放
      06:28
      [118] 13.1 树与生成树(上)
      1969播放
      06:01
      [119] 13.1 树与生成树(下)
      1643播放
      06:02
      [120] 13.2 最小生成树
      1909播放
      08:56
      [121] 13.3 根数与二叉树(上)
      1541播放
      05:50
      [122] 13.3 根数与二叉树(下)
      708播放
      05:47
      [123] 13.4. 欧拉图
      1635播放
      05:15
      [124] 13.5. 哈密顿图
      2140播放
      04:03
      [125] 13.6. 二分图与平面图
      2010播放
      03:24
      [126] 重难点分析
      1237播放
      03:14
      [127] 重难点分析
      1484播放
      04:13
      [128] 章节要点回顾
      1443播放
      08:09
      为你推荐
      06:26
      1.7 乘法公式和全概率公式(下)
      1369播放
      15:40
      30-29-2数理统计的基本概念(...
      1441播放
      14:40
      24-第四章-概率论与数理统计(二...
      4184播放
      16:13
      第2周【课堂实录2-1】上周内容:...
      1089播放
      04:21
      【金文贞】第七讲 数学归纳法
      1570播放
      10:15
      第二章 推理与证明 2.3数学归纳...
      1035播放
      06:51
      模块二 1.5 单纯形法(2)(上...
      4158播放
      13:59
      概率论与数理统计:随机变量的数字特...
      542播放
      06:52
      哈尔滨工业大学公开课:事件的关系与...
      826播放
      16:04
      30-教学录像-“数理统计”的观点...
      1294播放
      02:54
      表面是推理问题,内核是数学问题,你...
      806播放
      01:21
      复杂数学思维,教你轻松搞定换元法!
      734播放
      03:18
      创造条件求数学解·思维转换·难题变...
      1294播放
      02:33
      巧解几何难题,小升初数学思维
      1027播放