已购课程
个人中心
内容中心
关注我们
APP下载
反馈
命题逻辑推理二：间接推理
2093 播放
收藏
下载
手机看
登录后可发评论

评论沙发是我的～

热门评论(0)
    全部评论(0)
      选集(67)
      自动播放
      [1] 命题及命题的真值
      2.1万播放
      14:31
      命题及命题的真值
      [2] 离散数学 东北大学（全69讲）(逻...
      5318播放
      21:14
      离散数学 东北大学（全69讲）(逻辑连接词)
      [3] 命题逻辑中命题的符号化
      3976播放
      10:36
      命题逻辑中命题的符号化
      [4] 命题公式及其真值表
      3786播放
      10:42
      命题公式及其真值表
      [5] 命题公式的等价
      3561播放
      18:45
      命题公式的等价
      [6] 重言式与重言蕴含式
      3252播放
      21:44
      重言式与重言蕴含式
      [7] 析取范式与合取范式
      3649播放
      13:38
      析取范式与合取范式
      [8] 离散数学 东北大学（全69讲）(主...
      3070播放
      15:00
      离散数学 东北大学（全69讲）(主析取范式)
      [9] 离散数学 东北大学（全69讲）(主...
      2505播放
      14:32
      离散数学 东北大学（全69讲）(主合取范式)
      [10] 命题逻辑推理一：直接推理
      3257播放
      14:07
      命题逻辑推理一：直接推理
      [11] 命题逻辑推理二：间接推理
      2093播放
      待播放
      命题逻辑推理二：间接推理
      [12] 谓词逻辑的基本概念
      1848播放
      21:31
      谓词逻辑的基本概念
      [13] 谓词公式与量词的辖域
      1473播放
      15:09
      谓词公式与量词的辖域
      [14] 谓词逻辑中量词的符号化
      1995播放
      11:45
      谓词逻辑中量词的符号化
      [15] 谓词演算的等价式与蕴含式（一）
      1674播放
      12:09
      谓词演算的等价式与蕴含式（一）
      [16] 谓词演算的等价式与蕴含式（二）
      1770播放
      21:59
      谓词演算的等价式与蕴含式（二）
      [17] 离散数学 东北大学（全69讲）(前...
      2231播放
      09:22
      离散数学 东北大学（全69讲）(前束范式)
      [18] 谓词演算的推理理论（一）
      2096播放
      23:08
      谓词演算的推理理论（一）
      [19] 集合的基本概念
      2631播放
      08:42
      集合的基本概念
      [20] 集合间的关系
      2541播放
      08:29
      集合间的关系
      [21] 离散数学 东北大学（全69讲）(特...
      1698播放
      03:21
      离散数学 东北大学（全69讲）(特殊集合)
      [22] 离散数学 东北大学（全69讲）(集...
      2297播放
      19:28
      离散数学 东北大学（全69讲）(集合的运算)
      [23] 有穷集的计数（容斥定理）
      2520播放
      17:40
      有穷集的计数（容斥定理）
      [24] 序偶与集合的笛卡尔积
      1897播放
      24:53
      序偶与集合的笛卡尔积
      [25] 二元关系及其表示法
      2436播放
      19:56
      二元关系及其表示法
      [26] 二元关系的性质
      2312播放
      19:50
      二元关系的性质
      [27] 关系的复合运算
      1792播放
      15:34
      关系的复合运算
      [28] 关系的求逆运算
      1390播放
      11:18
      关系的求逆运算
      [29] 关系的闭包运算
      1546播放
      15:37
      关系的闭包运算
      [30] 集合的划分与覆盖
      1689播放
      07:55
      集合的划分与覆盖
      [31] 等价关系与等价类
      1678播放
      37:08
      等价关系与等价类
      [32] 相容关系与相容类
      1772播放
      15:53
      相容关系与相容类
      [33] 离散数学 东北大学（全69讲）(偏...
      2051播放
      24:14
      离散数学 东北大学（全69讲）(偏序关系)
      [34] 函数的基本概念
      1688播放
      16:12
      函数的基本概念
      [35] 离散数学 东北大学（全69讲）(函...
      2125播放
      14:29
      离散数学 东北大学（全69讲）(函数的复合)
      [36] 逆函数及其性质
      1082播放
      09:48
      逆函数及其性质
      [37] 集合基数的基本概念
      1483播放
      25:21
      集合基数的基本概念
      [38] 加法法则与乘法法则
      1049播放
      11:49
      加法法则与乘法法则
      [39] 离散数学 东北大学（全69讲）(排...
      1560播放
      26:39
      离散数学 东北大学（全69讲）(排列与组合)
      [40] 二项式定理与组合恒等式
      909播放
      11:56
      二项式定理与组合恒等式
      [41] 离散数学 东北大学（全69讲）(多...
      1463播放
      06:12
      离散数学 东北大学（全69讲）(多项式定理)
      [42] 二元运算及其性质
      1159播放
      19:56
      二元运算及其性质
      [43] 二元运算中的特殊元
      937播放
      34:42
      二元运算中的特殊元
      [44] 代数系统的同态与同构
      1613播放
      25:55
      代数系统的同态与同构
      [45] 代数系统同构的性质
      758播放
      25:36
      代数系统同构的性质
      [46] 半群和独异点
      1450播放
      10:19
      半群和独异点
      [47] 群的定义及性质
      1679播放
      31:20
      群的定义及性质
      [48] 子群的陪集及拉格朗日定理
      1394播放
      24:48
      子群的陪集及拉格朗日定理
      [49] 离散数学 东北大学（全69讲）(循...
      912播放
      31:03
      离散数学 东北大学（全69讲）(循环群)
      [50] 循环群的子群
      1062播放
      13:15
      循环群的子群
      [51] 离散数学 东北大学（全69讲）(环...
      1461播放
      37:58
      离散数学 东北大学（全69讲）(环与域)
      [52] 格的基本概念
      1506播放
      32:03
      格的基本概念
      [53] 离散数学 东北大学（全69讲）(格...
      1546播放
      20:59
      离散数学 东北大学（全69讲）(格的性质)
      [54] 离散数学 东北大学（全69讲）(特...
      1244播放
      21:55
      离散数学 东北大学（全69讲）(特殊的格)
      [55] 离散数学 东北大学（全69讲）(布...
      1224播放
      24:13
      离散数学 东北大学（全69讲）(布尔代数)
      [56] 图的基本概念
      2498播放
      31:15
      图的基本概念
      [57] 离散数学 东北大学（全69讲）(图...
      1764播放
      31:57
      离散数学 东北大学（全69讲）(图的连通性)
      [58] 图的矩阵表示
      1790播放
      29:21
      图的矩阵表示
      [59] 离散数学 东北大学（全69讲）(欧...
      1447播放
      31:50
      离散数学 东北大学（全69讲）(欧拉图)
      [60] 离散数学 东北大学（全69讲）(汉...
      816播放
      25:14
      离散数学 东北大学（全69讲）(汉密尔顿图)
      [61] 最短通路问题
      894播放
      19:04
      最短通路问题
      [62] 离散数学 东北大学（全69讲）(平...
      914播放
      29:01
      离散数学 东北大学（全69讲）(平面图)
      [63] 离散数学 东北大学（全69讲）(图...
      1004播放
      21:27
      离散数学 东北大学（全69讲）(图着色)
      [64] 无向树及其性质
      1303播放
      18:40
      无向树及其性质
      [65] 离散数学 东北大学（全69讲）(生...
      1430播放
      18:27
      离散数学 东北大学（全69讲）(生成树)
      [66] 离散数学 东北大学（全69讲）(根...
      1586播放
      16:55
      离散数学 东北大学（全69讲）(根树)
      [67] 离散数学 东北大学（全69讲）(根...
      1193播放
      27:24
      离散数学 东北大学（全69讲）(根树的应用)
      为你推荐
      00:15
      吸尘器：你是一点猫德都不讲啊
      1.9万播放
      吸尘器：你是一点猫德都不讲啊
      00:27
      鸭群过马路遇出警消防车，鸭子：给消...
      1505播放
      鸭群过马路遇出警消防车，鸭子：给消防车让路我们是认真的
      00:06
      找了半天，结果是躲床底下了
      3260播放
      找了半天，结果是躲床底下了
      00:08
      企鹅厚厚的羽绒大衣
      2068播放
      企鹅厚厚的羽绒大衣
      00:07
      只需看一眼就知道跑过来
      4105播放
      只需看一眼就知道跑过来
      00:09
      我！不！服！！！
      1657播放
      我！不！服！！！
      01:07
      狗：这恋爱真不兴乱谈，遇到正牌来打...
      6946播放
      狗：这恋爱真不兴乱谈，遇到正牌来打假了
      00:08
      小猫咪的睡前准备工作有哪些
      4015播放
      小猫咪的睡前准备工作有哪些
      00:14
      老两口吃席都会带上自家狗狗，骑摩托...
      635播放
      老两口吃席都会带上自家狗狗，骑摩托车50公里也要带去！
      00:41
      8岁家养美洲狮和爸爸抢沙发，谁能赢...
      4636播放
      8岁家养美洲狮和爸爸抢沙发，谁能赢？
      00:18
      10万美元买条国产机械狗，触发喷火...
      1592播放
      10万美元买条国产机械狗，触发喷火讲中国话的含金量上升
      00:29
      90后女生养羊能有多精致，网友：这...
      3773播放
      90后女生养羊能有多精致，网友：这就是传说中的“美羊羊”吧
      05:55
      可生食鸡蛋离谱的算盘
      1757播放
      可生食鸡蛋离谱的算盘

      增值电信业务经营许可证 粤B2-20090191

      工业和信息化部备案管理系统网站 粤B2-20090191-18