已购课程
个人中心
内容中心
关注我们
APP下载
反馈
谓词演算的等价式与蕴含式（一）
1674 播放
收藏
下载
手机看
登录后可发评论

评论沙发是我的～

热门评论(0)
    全部评论(0)
      选集(67)
      自动播放
      [1] 命题及命题的真值
      2.2万播放
      14:31
      命题及命题的真值
      [2] 离散数学 东北大学（全69讲）(逻...
      5648播放
      21:14
      离散数学 东北大学（全69讲）(逻辑连接词)
      [3] 命题逻辑中命题的符号化
      4066播放
      10:36
      命题逻辑中命题的符号化
      [4] 命题公式及其真值表
      3866播放
      10:42
      命题公式及其真值表
      [5] 命题公式的等价
      3631播放
      18:45
      命题公式的等价
      [6] 重言式与重言蕴含式
      3332播放
      21:44
      重言式与重言蕴含式
      [7] 析取范式与合取范式
      3679播放
      13:38
      析取范式与合取范式
      [8] 离散数学 东北大学（全69讲）(主...
      3120播放
      15:00
      离散数学 东北大学（全69讲）(主析取范式)
      [9] 离散数学 东北大学（全69讲）(主...
      2535播放
      14:32
      离散数学 东北大学（全69讲）(主合取范式)
      [10] 命题逻辑推理一：直接推理
      3287播放
      14:07
      命题逻辑推理一：直接推理
      [11] 命题逻辑推理二：间接推理
      2123播放
      22:07
      命题逻辑推理二：间接推理
      [12] 谓词逻辑的基本概念
      1868播放
      21:31
      谓词逻辑的基本概念
      [13] 谓词公式与量词的辖域
      1543播放
      15:09
      谓词公式与量词的辖域
      [14] 谓词逻辑中量词的符号化
      2005播放
      11:45
      谓词逻辑中量词的符号化
      [15] 谓词演算的等价式与蕴含式（一）
      1674播放
      待播放
      谓词演算的等价式与蕴含式（一）
      [16] 谓词演算的等价式与蕴含式（二）
      1790播放
      21:59
      谓词演算的等价式与蕴含式（二）
      [17] 离散数学 东北大学（全69讲）(前...
      2231播放
      09:22
      离散数学 东北大学（全69讲）(前束范式)
      [18] 谓词演算的推理理论（一）
      2116播放
      23:08
      谓词演算的推理理论（一）
      [19] 集合的基本概念
      2741播放
      08:42
      集合的基本概念
      [20] 集合间的关系
      2641播放
      08:29
      集合间的关系
      [21] 离散数学 东北大学（全69讲）(特...
      1778播放
      03:21
      离散数学 东北大学（全69讲）(特殊集合)
      [22] 离散数学 东北大学（全69讲）(集...
      2397播放
      19:28
      离散数学 东北大学（全69讲）(集合的运算)
      [23] 有穷集的计数（容斥定理）
      2710播放
      17:40
      有穷集的计数（容斥定理）
      [24] 序偶与集合的笛卡尔积
      1977播放
      24:53
      序偶与集合的笛卡尔积
      [25] 二元关系及其表示法
      2526播放
      19:56
      二元关系及其表示法
      [26] 二元关系的性质
      2372播放
      19:50
      二元关系的性质
      [27] 关系的复合运算
      1832播放
      15:34
      关系的复合运算
      [28] 关系的求逆运算
      1420播放
      11:18
      关系的求逆运算
      [29] 关系的闭包运算
      1576播放
      15:37
      关系的闭包运算
      [30] 集合的划分与覆盖
      1719播放
      07:55
      集合的划分与覆盖
      [31] 等价关系与等价类
      1708播放
      37:08
      等价关系与等价类
      [32] 相容关系与相容类
      1792播放
      15:53
      相容关系与相容类
      [33] 离散数学 东北大学（全69讲）(偏...
      2081播放
      24:14
      离散数学 东北大学（全69讲）(偏序关系)
      [34] 函数的基本概念
      1738播放
      16:12
      函数的基本概念
      [35] 离散数学 东北大学（全69讲）(函...
      2155播放
      14:29
      离散数学 东北大学（全69讲）(函数的复合)
      [36] 逆函数及其性质
      1112播放
      09:48
      逆函数及其性质
      [37] 集合基数的基本概念
      1513播放
      25:21
      集合基数的基本概念
      [38] 加法法则与乘法法则
      1079播放
      11:49
      加法法则与乘法法则
      [39] 离散数学 东北大学（全69讲）(排...
      1630播放
      26:39
      离散数学 东北大学（全69讲）(排列与组合)
      [40] 二项式定理与组合恒等式
      939播放
      11:56
      二项式定理与组合恒等式
      [41] 离散数学 东北大学（全69讲）(多...
      1483播放
      06:12
      离散数学 东北大学（全69讲）(多项式定理)
      [42] 二元运算及其性质
      1209播放
      19:56
      二元运算及其性质
      [43] 二元运算中的特殊元
      977播放
      34:42
      二元运算中的特殊元
      [44] 代数系统的同态与同构
      1643播放
      25:55
      代数系统的同态与同构
      [45] 代数系统同构的性质
      778播放
      25:36
      代数系统同构的性质
      [46] 半群和独异点
      1470播放
      10:19
      半群和独异点
      [47] 群的定义及性质
      1709播放
      31:20
      群的定义及性质
      [48] 子群的陪集及拉格朗日定理
      1414播放
      24:48
      子群的陪集及拉格朗日定理
      [49] 离散数学 东北大学（全69讲）(循...
      932播放
      31:03
      离散数学 东北大学（全69讲）(循环群)
      [50] 循环群的子群
      1072播放
      13:15
      循环群的子群
      [51] 离散数学 东北大学（全69讲）(环...
      1481播放
      37:58
      离散数学 东北大学（全69讲）(环与域)
      [52] 格的基本概念
      1616播放
      32:03
      格的基本概念
      [53] 离散数学 东北大学（全69讲）(格...
      1566播放
      20:59
      离散数学 东北大学（全69讲）(格的性质)
      [54] 离散数学 东北大学（全69讲）(特...
      1264播放
      21:55
      离散数学 东北大学（全69讲）(特殊的格)
      [55] 离散数学 东北大学（全69讲）(布...
      1244播放
      24:13
      离散数学 东北大学（全69讲）(布尔代数)
      [56] 图的基本概念
      2558播放
      31:15
      图的基本概念
      [57] 离散数学 东北大学（全69讲）(图...
      1794播放
      31:57
      离散数学 东北大学（全69讲）(图的连通性)
      [58] 图的矩阵表示
      1830播放
      29:21
      图的矩阵表示
      [59] 离散数学 东北大学（全69讲）(欧...
      1527播放
      31:50
      离散数学 东北大学（全69讲）(欧拉图)
      [60] 离散数学 东北大学（全69讲）(汉...
      936播放
      25:14
      离散数学 东北大学（全69讲）(汉密尔顿图)
      [61] 最短通路问题
      964播放
      19:04
      最短通路问题
      [62] 离散数学 东北大学（全69讲）(平...
      964播放
      29:01
      离散数学 东北大学（全69讲）(平面图)
      [63] 离散数学 东北大学（全69讲）(图...
      1044播放
      21:27
      离散数学 东北大学（全69讲）(图着色)
      [64] 无向树及其性质
      1353播放
      18:40
      无向树及其性质
      [65] 离散数学 东北大学（全69讲）(生...
      1480播放
      18:27
      离散数学 东北大学（全69讲）(生成树)
      [66] 离散数学 东北大学（全69讲）(根...
      1626播放
      16:55
      离散数学 东北大学（全69讲）(根树)
      [67] 离散数学 东北大学（全69讲）(根...
      1243播放
      27:24
      离散数学 东北大学（全69讲）(根树的应用)
      为你推荐
      07:49
      6、第一章 反函数概念
      1.8万播放
      6、第一章 反函数概念
      04:03
      看似简单的一道因式分解题，怎么正确...
      1162播放
      看似简单的一道因式分解题，怎么正确凑项？.mp4
      03:32
      求最大值，利用对偶的方法，老题目新...
      1300播放
      求最大值，利用对偶的方法，老题目新思路
      02:47
      因式分解题，虽然这个数看起来很大，...
      1419播放
      因式分解题，虽然这个数看起来很大，但是不要慌
      11:51
      6.3.1 实数的概念（下）
      1640播放
      6.3.1 实数的概念（下）
      09:10
      7.2.1复数的加、减运算及其几何...
      1397播放
      7.2.1复数的加、减运算及其几何意义（下）
      02:33
      求这个数的值，整式运算先化简，再代...
      940播放
      求这个数的值，整式运算先化简，再代入哦，这种题一定要学会
      00:58
      千万不要解方程，求值的话代入法更简...
      1356播放
      千万不要解方程，求值的话代入法更简单，更快！
      02:07
      函数图像经过点A，则代数式的值是多...
      819播放
      函数图像经过点A，则代数式的值是多少，不会的都看过来
      01:43
      因式分解：简单，易错！
      608播放
      因式分解：简单，易错！
      01:24
      常考的因式分解，只要会分组就好办
      860播放
      常考的因式分解，只要会分组就好办
      04:21
      【可汗学院公开课：算术与代数预备课...
      7.7万播放
      【可汗学院公开课：算术与代数预备课程：乘法与除法】四舍五入到整数1
      11:10
      不等式证明4-函数不等式（上）
      1126播放
      不等式证明4-函数不等式（上）
      10:37
      【基础】【函数】11、函数值不等式...
      1118播放
      【基础】【函数】11、函数值不等式的解法（上）

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

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