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

评论沙发是我的～

热门评论(0)
    全部评论(0)
      选集(67)
      自动播放
      [1] 命题及命题的真值
      1.9万播放
      14:31
      命题及命题的真值
      [2] 离散数学 东北大学（全69讲）(逻...
      4478播放
      21:14
      离散数学 东北大学（全69讲）(逻辑连接词)
      [3] 命题逻辑中命题的符号化
      3526播放
      10:36
      命题逻辑中命题的符号化
      [4] 命题公式及其真值表
      3226播放
      10:42
      命题公式及其真值表
      [5] 命题公式的等价
      3021播放
      18:45
      命题公式的等价
      [6] 重言式与重言蕴含式
      2672播放
      21:44
      重言式与重言蕴含式
      [7] 析取范式与合取范式
      3059播放
      13:38
      析取范式与合取范式
      [8] 离散数学 东北大学（全69讲）(主...
      2710播放
      15:00
      离散数学 东北大学（全69讲）(主析取范式)
      [9] 离散数学 东北大学（全69讲）(主...
      2285播放
      14:32
      离散数学 东北大学（全69讲）(主合取范式)
      [10] 命题逻辑推理一：直接推理
      2887播放
      14:07
      命题逻辑推理一：直接推理
      [11] 命题逻辑推理二：间接推理
      1943播放
      22:07
      命题逻辑推理二：间接推理
      [12] 谓词逻辑的基本概念
      1728播放
      21:31
      谓词逻辑的基本概念
      [13] 谓词公式与量词的辖域
      1413播放
      15:09
      谓词公式与量词的辖域
      [14] 谓词逻辑中量词的符号化
      1835播放
      待播放
      谓词逻辑中量词的符号化
      [15] 谓词演算的等价式与蕴含式（一）
      1514播放
      12:09
      谓词演算的等价式与蕴含式（一）
      [16] 谓词演算的等价式与蕴含式（二）
      1570播放
      21:59
      谓词演算的等价式与蕴含式（二）
      [17] 离散数学 东北大学（全69讲）(前...
      2111播放
      09:22
      离散数学 东北大学（全69讲）(前束范式)
      [18] 谓词演算的推理理论（一）
      1976播放
      23:08
      谓词演算的推理理论（一）
      [19] 集合的基本概念
      2361播放
      08:42
      集合的基本概念
      [20] 集合间的关系
      2301播放
      08:29
      集合间的关系
      [21] 离散数学 东北大学（全69讲）(特...
      1548播放
      03:21
      离散数学 东北大学（全69讲）(特殊集合)
      [22] 离散数学 东北大学（全69讲）(集...
      2127播放
      19:28
      离散数学 东北大学（全69讲）(集合的运算)
      [23] 有穷集的计数（容斥定理）
      2380播放
      17:40
      有穷集的计数（容斥定理）
      [24] 序偶与集合的笛卡尔积
      1677播放
      24:53
      序偶与集合的笛卡尔积
      [25] 二元关系及其表示法
      2196播放
      19:56
      二元关系及其表示法
      [26] 二元关系的性质
      2112播放
      19:50
      二元关系的性质
      [27] 关系的复合运算
      1592播放
      15:34
      关系的复合运算
      [28] 关系的求逆运算
      1280播放
      11:18
      关系的求逆运算
      [29] 关系的闭包运算
      1426播放
      15:37
      关系的闭包运算
      [30] 集合的划分与覆盖
      1569播放
      07:55
      集合的划分与覆盖
      [31] 等价关系与等价类
      1578播放
      37:08
      等价关系与等价类
      [32] 相容关系与相容类
      1692播放
      15:53
      相容关系与相容类
      [33] 离散数学 东北大学（全69讲）(偏...
      1821播放
      24:14
      离散数学 东北大学（全69讲）(偏序关系)
      [34] 函数的基本概念
      1368播放
      16:12
      函数的基本概念
      [35] 离散数学 东北大学（全69讲）(函...
      1975播放
      14:29
      离散数学 东北大学（全69讲）(函数的复合)
      [36] 逆函数及其性质
      992播放
      09:48
      逆函数及其性质
      [37] 集合基数的基本概念
      1443播放
      25:21
      集合基数的基本概念
      [38] 加法法则与乘法法则
      1029播放
      11:49
      加法法则与乘法法则
      [39] 离散数学 东北大学（全69讲）(排...
      1490播放
      26:39
      离散数学 东北大学（全69讲）(排列与组合)
      [40] 二项式定理与组合恒等式
      839播放
      11:56
      二项式定理与组合恒等式
      [41] 离散数学 东北大学（全69讲）(多...
      1433播放
      06:12
      离散数学 东北大学（全69讲）(多项式定理)
      [42] 二元运算及其性质
      1049播放
      19:56
      二元运算及其性质
      [43] 二元运算中的特殊元
      877播放
      34:42
      二元运算中的特殊元
      [44] 代数系统的同态与同构
      1583播放
      25:55
      代数系统的同态与同构
      [45] 代数系统同构的性质
      758播放
      25:36
      代数系统同构的性质
      [46] 半群和独异点
      1410播放
      10:19
      半群和独异点
      [47] 群的定义及性质
      1629播放
      31:20
      群的定义及性质
      [48] 子群的陪集及拉格朗日定理
      1394播放
      24:48
      子群的陪集及拉格朗日定理
      [49] 离散数学 东北大学（全69讲）(循...
      892播放
      31:03
      离散数学 东北大学（全69讲）(循环群)
      [50] 循环群的子群
      1062播放
      13:15
      循环群的子群
      [51] 离散数学 东北大学（全69讲）(环...
      1441播放
      37:58
      离散数学 东北大学（全69讲）(环与域)
      [52] 格的基本概念
      1386播放
      32:03
      格的基本概念
      [53] 离散数学 东北大学（全69讲）(格...
      1506播放
      20:59
      离散数学 东北大学（全69讲）(格的性质)
      [54] 离散数学 东北大学（全69讲）(特...
      1194播放
      21:55
      离散数学 东北大学（全69讲）(特殊的格)
      [55] 离散数学 东北大学（全69讲）(布...
      1214播放
      24:13
      离散数学 东北大学（全69讲）(布尔代数)
      [56] 图的基本概念
      2288播放
      31:15
      图的基本概念
      [57] 离散数学 东北大学（全69讲）(图...
      1574播放
      31:57
      离散数学 东北大学（全69讲）(图的连通性)
      [58] 图的矩阵表示
      1630播放
      29:21
      图的矩阵表示
      [59] 离散数学 东北大学（全69讲）(欧...
      1377播放
      31:50
      离散数学 东北大学（全69讲）(欧拉图)
      [60] 离散数学 东北大学（全69讲）(汉...
      776播放
      25:14
      离散数学 东北大学（全69讲）(汉密尔顿图)
      [61] 最短通路问题
      874播放
      19:04
      最短通路问题
      [62] 离散数学 东北大学（全69讲）(平...
      884播放
      29:01
      离散数学 东北大学（全69讲）(平面图)
      [63] 离散数学 东北大学（全69讲）(图...
      964播放
      21:27
      离散数学 东北大学（全69讲）(图着色)
      [64] 无向树及其性质
      1253播放
      18:40
      无向树及其性质
      [65] 离散数学 东北大学（全69讲）(生...
      1350播放
      18:27
      离散数学 东北大学（全69讲）(生成树)
      [66] 离散数学 东北大学（全69讲）(根...
      1546播放
      16:55
      离散数学 东北大学（全69讲）(根树)
      [67] 离散数学 东北大学（全69讲）(根...
      1043播放
      27:24
      离散数学 东北大学（全69讲）(根树的应用)
      为你推荐
      10:58
      术语解释第四题方法示例（下）
      1371播放
      术语解释第四题方法示例（下）
      15:05
      复数【辞典】1复数的概念
      2.3万播放
      复数【辞典】1复数的概念
      02:42
      都是否定前缀，有什么区别？使用要注...
      684播放
      都是否定前缀，有什么区别？使用要注意什么？
      03:13
      “在某种意义上来说”选用哪个名词，...
      1320播放
      “在某种意义上来说”选用哪个名词，这几个要会区分
      02:07
      复数z上面加一横是什么意思？
      1232播放
      复数z上面加一横是什么意思？
      03:45
      名词单数变复数的基本规则你都知道几...
      1756播放
      名词单数变复数的基本规则你都知道几个
      03:00
      不规则名词变复数要注意什么？这些特...
      2696播放
      不规则名词变复数要注意什么？这些特殊的要记住
      07:17
      【慕课W03】26-数理逻辑-个体...
      1366播放
      【慕课W03】26-数理逻辑-个体、谓词和量词（上）
      02:52
      西方人为什么不接受负数？
      2.7万播放
      西方人为什么不接受负数？
      18:02
      词语间语义制约分析（六）
      6956播放
      词语间语义制约分析（六）
      01:04
      英语词汇的底层逻辑是“屈折变化，词...
      1465播放
      英语词汇的底层逻辑是“屈折变化，词性位置”
      21:59
      语音第2讲：黄金发音规则和26个字...
      10.9万播放
      语音第2讲：黄金发音规则和26个字母
      04:22
      中考英语：名词词性很简单，找准关键...
      1326播放
      中考英语：名词词性很简单，找准关键词很重要
      03:21
      英语辨析：及物动词和不及物动词的区...
      645播放
      英语辨析：及物动词和不及物动词的区别是什么？学习一下

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

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