已购课程
个人中心
内容中心
关注我们
APP下载
反馈
谓词逻辑中量词的符号化
1995 播放
收藏
下载
手机看
登录后可发评论

评论沙发是我的～

热门评论(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播放
      待播放
      谓词逻辑中量词的符号化
      [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讲）(根树的应用)
      为你推荐
      07:03
      湾湾的古代史教科书是怎样的
      2184播放
      湾湾的古代史教科书是怎样的
      11:36
      【世界古代史|周巩固】01 绪论（...
      9603播放
      【世界古代史|周巩固】01 绪论（1）（下）
      01:23
      傅佩荣：西方哲学史，多少人是读这本...
      1193播放
      傅佩荣：西方哲学史，多少人是读这本书的？
      05:24
      1.1（a） 材料发展古代史（下）
      960播放
      1.1（a） 材料发展古代史（下）
      00:58
      傅佩荣：我被这本书吓一跳，因为它教...
      2173播放
      傅佩荣：我被这本书吓一跳，因为它教会我的，比整部哲学史还深刻
      13:31
      26.中国古代史-春秋与战国（下）
      1163播放
      26.中国古代史-春秋与战国（下）
      36:13
      【北京大学公开课：政治学导论】政治...
      20.7万播放
      【北京大学公开课：政治学导论】政治思想与政治思想史
      10:54
      第二章 第1节 天命-神学史观主导...
      1522播放
      第二章 第1节 天命-神学史观主导下的古代史学（下）
      10:26
      【海淀 历史二轮复习】中国古代史学...
      817播放
      【海淀 历史二轮复习】中国古代史学习之关键问题02（中）
      09:12
      20世纪西方史学漫谈-3（下）
      1094播放
      20世纪西方史学漫谈-3（下）
      11:04
      【中国社科院】辽宋夏金史治史杂谈·...
      2102播放
      【中国社科院】辽宋夏金史治史杂谈·下(1)（上）
      12:35
      西方哲学史（上）第三课(2)（上）
      1476播放
      西方哲学史（上）第三课(2)（上）

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

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