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

评论沙发是我的～

热门评论(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播放
      22:07
      命题逻辑推理二：间接推理
      [12] 谓词逻辑的基本概念
      1848播放
      21:31
      谓词逻辑的基本概念
      [13] 谓词公式与量词的辖域
      1473播放
      15:09
      谓词公式与量词的辖域
      [14] 谓词逻辑中量词的符号化
      1995播放
      11:45
      谓词逻辑中量词的符号化
      [15] 谓词演算的等价式与蕴含式（一）
      1674播放
      12:09
      谓词演算的等价式与蕴含式（一）
      [16] 谓词演算的等价式与蕴含式（二）
      1770播放
      待播放
      谓词演算的等价式与蕴含式（二）
      [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讲）(根树的应用)
      为你推荐
      03:21
      37亿年后，仙女座会撞上银河系，地...
      902播放
      37亿年后，仙女座会撞上银河系，地球上的我们到时候怎么办？
      01:17
      太阳，一个巨大的天体，看起来很酷
      1726播放
      太阳，一个巨大的天体，看起来很酷
      03:27
      人类想走出太阳系，需要多快的速度？...
      2142播放
      人类想走出太阳系，需要多快的速度？到达七大行星需要多久？
      10:22
      彗星之谜？海外天体？来自太阳系深处...
      2404播放
      彗星之谜？海外天体？来自太阳系深处的至暗巨物！
      03:12
      太阳系即将迎来新成员？行星家族再添...
      1796播放
      太阳系即将迎来新成员？行星家族再添一员！找到它的意义是什么？
      00:12
      詹姆斯韦伯望远镜观测银河系外星团形...
      1494播放
      詹姆斯韦伯望远镜观测银河系外星团形成
      07:07
      【宇宙杂谈】银河系中心的脉冲星去哪...
      1518播放
      【宇宙杂谈】银河系中心的脉冲星去哪了？
      12:35
      宇宙中最令人恐惧的天体！一颗系外行...
      3970播放
      宇宙中最令人恐惧的天体！一颗系外行星进入恒星内部居然幸存下来
      02:16
      宇宙中最可怕的天体是什么？
      3920播放
      宇宙中最可怕的天体是什么？
      00:09
      人类存在的意义是什么？在宇宙中像银...
      1897播放
      人类存在的意义是什么？在宇宙中像银河系一样的星系比沙子还多！
      02:52
      天文学家发现：宇宙的80%都是空洞...
      1161播放
      天文学家发现：宇宙的80%都是空洞，星系根本填不满宇宙
      03:13
      从地球到星系，宇宙很美，难道不是吗...
      1338播放
      从地球到星系，宇宙很美，难道不是吗？
      03:11
      作为宇宙第一批星系，银河系内真的只...
      1273播放
      作为宇宙第一批星系，银河系内真的只有人类文明吗？
      02:21
      宇宙中有2万亿个星系，银河系在宇宙...
      1362播放
      宇宙中有2万亿个星系，银河系在宇宙中的什么地方？

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

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