247. 教学录像-一阶谓词演算的形式系统KL (II) - 3

离散数学 北京大学

大学课程 / 数学

共271集 31.6万人观看

---

• 
  1教学录像-集合论与图论课程引言

  09:06
• 
  2教学录像-预备知识（命题逻辑） - 1

  16:27
• 
  3教学录像-预备知识（命题逻辑） - 2

  16:37
• 
  4教学录像-预备知识（命题逻辑） - 3

  16:26
• 
  5教学录像-集合的概念和集合之间的关系 - 1

  14:11
• 
  6教学录像-集合的概念和集合之间的关系 - 3

  14:07
• 
  7教学录像-集合的运算 - 1

  13:13
• 
  8教学录像-集合的运算 - 3

  13:10
• 
  9教学录像-基本的集合恒等式 - 1

  15:32
• 
  10教学录像-基本的集合恒等式 - 2

  15:35
• 
  11教学录像-基本的集合恒等式 - 3

  15:32
• 
  12教学录像-有序对与卡氏积 - 1

  16:44
• 
  13教学录像-有序对与卡氏积 - 2

  16:52
• 
  14教学录像-有序对与卡氏积 - 3

  16:36
• 
  15教学录像-二元关系 - 1

  15:47
• 
  16教学录像-二元关系 - 2

  15:54
• 
  17教学录像-二元关系 - 3

  15:41
• 
  18教学录像-关系的表示和关系的性质 - 1

  15:42
• 
  19教学录像-关系的表示和关系的性质 - 2

  15:45
• 
  20教学录像-关系的表示和关系的性质 - 3

  15:41
• 
  21教学录像-关系幂运算和关系闭包 - 1

  17:00
• 
  22教学录像-关系幂运算和关系闭包 - 2

  17:08
• 
  23教学录像-关系幂运算和关系闭包 - 3

  16:53
• 
  24教学录像-等价关系和划分 - 1

  16:46
• 
  25教学录像-等价关系和划分 - 2

  16:48
• 
  26教学录像-等价关系和划分 - 3

  16:46
• 
  27教学录像-序关系 - 1

  16:52
• 
  28教学录像-序关系 - 2

  16:58
• 
  29教学录像-序关系 - 3

  16:46
• 
  30教学录像-函数 - 1

  16:59
• 
  31教学录像-函数 - 2

  17:06
• 
  32教学录像-函数 - 3

  16:54
• 
  33教学录像-集合论习题课(1-3章) - 1

  14:50
• 
  34教学录像-集合论习题课(1-3章) - 2

  26:27
• 
  35教学录像-集合论习题课(1-3章) - 3

  41:10
• 
  36教学录像-自然数的定义 - 1

  16:16
• 
  37教学录像-自然数的定义 - 2

  16:25
• 
  38教学录像-自然数的定义 - 3

  16:13
• 
  39教学录像-自然数的性质 - 1

  12:48
• 
  40教学录像-自然数的性质 - 2

  12:54
• 
  41教学录像-自然数的性质 - 3

  12:40
• 
  42教学录像-集合的等势、有穷集与无穷集 - 1

  16:01
• 
  43教学录像-集合的等势、有穷集与无穷集 - 2

  16:09
• 
  44教学录像-集合的等势、有穷集与无穷集 - 3

  16:01
• 
  45教学录像-基数和基数的比较与运算 - 1

  16:52
• 
  46教学录像-基数和基数的比较与运算 - 2

  16:55
• 
  47教学录像-基数和基数的比较与运算 - 3

  16:44
• 
  48教学录像-序数和集合论公理 - 1

  14:37
• 
  49教学录像-序数和集合论公理 - 2

  14:43
• 
  50教学录像-序数和集合论公理 - 3

  14:39
• 
  51教学录像-图的基本概念 - 1

  19:14
• 
  52教学录像-图的基本概念 - 2

  19:23
• 
  53教学录像-图的基本概念 - 3

  19:12
• 
  54教学录像-通路与回路 - 1

  06:28
• 
  55教学录像-通路与回路 - 3

  06:31
• 
  56教学录像-无向图与有向图的连通性 - 1

  11:01
• 
  57教学录像-无向图与有向图的连通性 - 3

  11:01
• 
  58教学录像-哈密顿图 - 1

  16:22
• 
  59教学录像-哈密顿图 - 2

  16:27
• 
  60教学录像-哈密顿图 - 3

  16:19
• 
  61教学录像-树 - 1

  16:48
• 
  62教学录像-树 - 2

  16:49
• 
  63教学录像-树 - 3

  16:41
• 
  64教学录像-平面图的概念 - 1

  05:48
• 
  65教学录像-平面图的概念 - 3

  05:54
• 
  66教学录像-欧拉公式与平面图的判断 - 1

  12:01
• 
  67教学录像-欧拉公式与平面图的判断 - 3

  12:01
• 
  68教学录像-平面图的对偶图、外平面图 - 1

  07:56
• 
  69教学录像-平面图的对偶图、外平面图 - 3

  07:59
• 
  70教学录像-平面图与哈密顿图 - 1

  08:21
• 
  71教学录像-平面图与哈密顿图 - 3

  08:20
• 
  72教学录像-点着色与色多项式 - 1

  16:24
• 
  73教学录像-点着色与色多项式 - 2

  16:27
• 
  74教学录像-点着色与色多项式 - 3

  16:25
• 
  75教学录像-平面图着色与边着色 - 1

  11:00
• 
  76教学录像-平面图着色与边着色 - 2

  11:04
• 
  77教学录像-平面图着色与边着色 - 3

  10:58
• 
  78教学录像-二部图中的匹配 - 1

  14:35
• 
  79教学录像-二部图中的匹配 - 2

  14:39
• 
  80教学录像-二部图中的匹配 - 3

  14:35
• 
  81教学录像-中国邮递员问题和货郎担问题 - 1

  10:16
• 
  82教学录像-中国邮递员问题和货郎担问题 - 2

  10:21
• 
  83教学录像-中国邮递员问题和货郎担问题 - 3

  10:12
• 
  84教学录像-课程总结

  07:29
• 
  85教学录像-引言 - 1

  16:50
• 
  86教学录像-引言 - 2

  16:55
• 
  87教学录像-引言 - 3

  16:46
• 
  88教学录像-二元运算及其性质(1) - 1

  17:00
• 
  89教学录像-二元运算及其性质(1) - 2

  17:00
• 
  90教学录像-二元运算及其性质(1) - 3

  17:01
• 
  91教学录像-二元运算及其性质(2) - 1

  10:27
• 
  92教学录像-二元运算及其性质(2) - 2

  10:29
• 
  93教学录像-二元运算及其性质(2) - 3

  10:26
• 
  94教学录像-代数系统 - 1

  09:44
• 
  95教学录像-代数系统 - 3

  09:43
• 
  96教学录像-子代数和积代数 - 1

  16:34
• 
  97教学录像-子代数和积代数 - 2

  16:35
• 
  98教学录像-子代数和积代数 - 3

  16:30
• 
  99教学录像-代数系统的同态与同构 - 1

  14:42
• 
  100教学录像-代数系统的同态与同构 - 2

  14:44
• 
  101教学录像-代数系统的同态与同构 - 3

  14:40
• 
  102教学录像-同余关系与商代数 - 1

  14:55
• 
  103教学录像-同余关系与商代数 - 2

  15:02
• 
  104教学录像-同余关系与商代数 - 3

  14:55
• 
  105教学录像-商代数及小结 - 1

  17:33
• 
  106教学录像-商代数及小结 - 2

  17:38
• 
  107教学录像-商代数及小结 - 3

  31:01
• 
  108教学录像-半群与独异点 - 1

  14:04
• 
  109教学录像-半群与独异点 - 2

  14:04
• 
  110教学录像-半群与独异点 - 3

  14:04
• 
  111教学录像-直积、商代数与同态 - 1

  10:56
• 
  112教学录像-直积、商代数与同态 - 2

  11:03
• 
  113教学录像-直积、商代数与同态 - 3

  10:56
• 
  114教学录像-引言 - 1

  06:11
• 
  115教学录像-引言 - 3

  06:11
• 
  116教学录像-群的定义和性质 - 1

  18:29
• 
  117教学录像-群的定义和性质 - 2

  18:30
• 
  118教学录像-群的定义和性质 - 3

  18:26
• 
  119教学录像-群的性质 - 1

  09:15
• 
  120教学录像-群的性质 - 3

  09:18
• 
  121教学录像-子群(1) - 1

  16:31
• 
  122教学录像-子群(1) - 2

  16:36
• 
  123教学录像-子群(1) - 3

  16:33
• 
  124教学录像-子群(2) - 1

  07:58
• 
  125教学录像-子群(2) - 3

  08:03
• 
  126教学录像-循环群 - 1

  11:21
• 
  127教学录像-循环群 - 2

  11:30
• 
  128教学录像-循环群 - 3

  11:16
• 
  129教学录像-变换群与置换群 - 1

  17:10
• 
  130教学录像-变换群与置换群 - 2

  17:10
• 
  131教学录像-变换群与置换群 - 3

  17:09
• 
  132教学录像-置换群(2) - 1

  11:15
• 
  133教学录像-置换群(2) - 3

  11:19
• 
  134教学录像-群的分解(1) - 1

  14:05
• 
  135教学录像-群的分解(1) - 3

  14:09
• 
  136教学录像-群的分解及正规子群 - 1

  16:44
• 
  137教学录像-群的分解及正规子群 - 2

  16:53
• 
  138教学录像-群的分解及正规子群 - 3

  16:41
• 
  139教学录像-商群与群同态 - 1

  13:06
• 
  140教学录像-商群与群同态 - 2

  13:09
• 
  141教学录像-商群与群同态 - 3

  13:04
• 
  142教学录像-环的定义和性质 - 1

  15:58
• 
  143教学录像-环的定义和性质 - 2

  16:04
• 
  144教学录像-环的定义和性质 - 3

  15:49
• 
  145教学录像-子环、理想、商环和环同态 - 1

  13:24
• 
  146教学录像-子环、理想、商环和环同态 - 2

  13:32
• 
  147教学录像-子环、理想、商环和环同态 - 3

  13:17
• 
  148教学录像-格的定义和性质 - 1

  16:44
• 
  149教学录像-格的定义和性质 - 2

  16:50
• 
  150教学录像-格的定义和性质 - 3

  16:38
• 
  151教学录像-子格格同态及直积 - 1

  12:40
• 
  152教学录像-子格格同态及直积 - 3

  12:39
• 
  153教学录像-特殊的格(1) - 1

  12:04
• 
  154教学录像-特殊的格(1) - 3

  12:03
• 
  155教学录像-有补格、布尔格(2) - 1

  06:24
• 
  156教学录像-有补格、布尔格(2) - 3

  06:22
• 
  157教学录像-布尔代数(3) - 1

  11:24
• 
  158教学录像-布尔代数(3) - 2

  11:33
• 
  159教学录像-布尔代数(3) - 3

  11:23
• 
  160教学录像-组合数学引言 - 1

  16:32
• 
  161教学录像-组合数学引言 - 2

  16:32
• 
  162教学录像-组合数学引言 - 3

  16:28
• 
  163教学录像-鸽巢原理与Ramsey定理 - 1

  17:07
• 
  164教学录像-鸽巢原理与Ramsey定理 - 2

  17:10
• 
  165教学录像-鸽巢原理与Ramsey定理 - 3

  17:01
• 
  166教学录像-组合存在性应用 - 1

  11:08
• 
  167教学录像-组合存在性应用 - 2

  11:11
• 
  168教学录像-组合存在性应用 - 3

  11:08
• 
  169教学录像-两个计数原则、排列组合 - 1

  08:08
• 
  170教学录像-两个计数原则、排列组合 - 3

  08:11
• 
  171教学录像-排列与组合 - 1

  17:09
• 
  172教学录像-排列与组合 - 2

  23:33
• 
  173教学录像-排列与组合 - 3

  40:34
• 
  174教学录像-二项式定理与组合恒等式 - 1

  05:22
• 
  175教学录像-二项式定理与组合恒等式 - 3

  05:28
• 
  176教学录像-组合恒等式(2) - 1

  17:36
• 
  177教学录像-组合恒等式(2) - 2

  17:38
• 
  178教学录像-组合恒等式(2) - 3

  17:27
• 
  179教学录像-多项式定理、组合计数应用 - 1

  12:07
• 
  180教学录像-多项式定理、组合计数应用 - 3

  12:09
• 
  181教学录像-递推方程的公式解法(1) - 1

  15:21
• 
  182教学录像-递推方程的公式解法(1) - 2

  15:22
• 
  183教学录像-递推方程的公式解法(1) - 3

  15:20
• 
  184教学录像-递推方程的公式解法(2) - 1

  16:06
• 
  185教学录像-递推方程的公式解法(2) - 2

  24:41
• 
  186教学录像-递推方程的公式解法(2) - 3

  40:38
• 
  187教学录像-递推方程应用

  08:48
• 
  188教学录像-生成函数的定义和性质 - 1

  13:18
• 
  189教学录像-生成函数的定义和性质 - 3

  13:24
• 
  190教学录像-生成函数与组合计数(1) - 1

  05:41
• 
  191教学录像-生成函数与组合计数(1) - 3

  05:44
• 
  192教学录像-指数生成函数

  06:21
• 
  193教学录像-Catalan数与Stirling数 - 1

  14:30
• 
  194教学录像-Catalan数与Stirling数 - 2

  14:36
• 
  195教学录像-Catalan数与Stirling数 - 3

  14:31
• 
  196教学录像-包含排斥原理、对称筛公式 - 1

  16:20
• 
  197教学录像-包含排斥原理、对称筛公式 - 2

  24:05
• 
  198教学录像-包含排斥原理、对称筛公式 - 3

  40:18
• 
  199教学录像-棋盘多项式 - 1

  07:08
• 
  200教学录像-棋盘多项式 - 3

  07:09
• 
  201教学录像-Burnside引理与Polya定理

  08:19
• 
  202教学录像-Polya定理(2) - 1

  16:43
• 
  203教学录像-Polya定理(2) - 2

  16:44
• 
  204教学录像-Polya定理(2) - 3

  16:43
• 
  205教学录像-课程总结 - 1

  18:47
• 
  206教学录像-课程总结 - 2

  18:54
• 
  207教学录像-课程总结 - 3

  18:43
• 
  208教学录像-命题与联结词 (I) - 1

  15:10
• 
  209教学录像-命题与联结词 (I) - 2

  15:18
• 
  210教学录像-命题与联结词 (I) - 3

  15:10
• 
  211教学录像-命题与联结词 (II) - 1

  12:40
• 
  212教学录像-命题与联结词 (II) - 2

  12:47
• 
  213教学录像-命题与联结词 (II) - 3

  12:35
• 
  214教学录像-命题形式与真值表 (II) - 1

  16:14
• 
  215教学录像-命题形式与真值表 (II) - 2

  30:22
• 
  216教学录像-命题形式与真值表 (II) - 3

  46:27
• 
  217教学录像-联结词的完全集 (II) - 1

  16:39
• 
  218教学录像-联结词的完全集 (II) - 2

  16:45
• 
  219教学录像-联结词的完全集 (II) - 3

  16:35
• 
  220教学录像-命题演算的自然推理系统N (I)

  05:19
• 
  221教学录像-命题演算的自然推理系统N (V) - 1

  08:09
• 
  222教学录像-命题演算的自然推理系统N (V) - 3

  08:07
• 
  223教学录像-命题演算形式系统P (II) - 1

  14:35
• 
  224教学录像-命题演算形式系统P (II) - 2

  14:36
• 
  225教学录像-命题演算形式系统P (II) - 3

  14:32
• 
  226教学录像-命题演算形式系统P (V)

  01:42
• 
  227教学录像-命题范式 - 1

  11:24
• 
  228教学录像-命题范式 - 2

  11:24
• 
  229教学录像-命题范式 - 3

  11:21
• 
  230教学录像-可靠性、和谐性与完备性 (I) - 1

  15:01
• 
  231教学录像-可靠性、和谐性与完备性 (I) - 2

  15:05
• 
  232教学录像-可靠性、和谐性与完备性 (I) - 3

  14:54
• 
  233教学录像-一阶语言 (I) - 1

  15:51
• 
  234教学录像-一阶语言 (I) - 2

  15:51
• 
  235教学录像-一阶语言 (I) - 3

  15:50
• 
  236教学录像-一阶语言 (II) - 1

  14:52
• 
  237教学录像-一阶语言 (II) - 2

  14:53
• 
  238教学录像-一阶语言 (II) - 3

  14:49
• 
  239教学录像-一阶谓词演算的自然推演形式系统NL (III) - 1

  16:15
• 
  240教学录像-一阶谓词演算的自然推演形式系统NL (III) - 2

  28:14
• 
  241教学录像-一阶谓词演算的自然推演形式系统NL (III) - 3

  44:21
• 
  242教学录像-一阶谓词演算的自然推演形式系统NL (IV) - 1

  12:25
• 
  243教学录像-一阶谓词演算的自然推演形式系统NL (IV) - 2

  12:34
• 
  244教学录像-一阶谓词演算的自然推演形式系统NL (IV) - 3

  12:18
• 
  245教学录像-一阶谓词演算的形式系统KL (II) - 1

  13:13
• 
  246教学录像-一阶谓词演算的形式系统KL (II) - 2

  13:18
• 
  247教学录像-一阶谓词演算的形式系统KL (II) - 3

  13:12
• 
  248教学录像-NL与KL的等价性 - 1

  18:02
• 
  249教学录像-NL与KL的等价性 - 2

  18:02
• 
  250教学录像-NL与KL的等价性 - 3

  17:55
• 
  251教学录像-KL的解释与赋值 (I) - 1

  15:07
• 
  252教学录像-KL的解释与赋值 (I) - 2

  15:13
• 
  253教学录像-KL的解释与赋值 (I) - 3

  14:59
• 
  254教学录像-KL的解释与赋值 (II) - 1

  17:57
• 
  255教学录像-KL的解释与赋值 (II) - 2

  18:01
• 
  256教学录像-KL的解释与赋值 (II) - 3

  17:54
• 
  257教学录像-KL的解释与赋值 (III) - 1

  12:52
• 
  258教学录像-KL的解释与赋值 (III) - 2

  18:11
• 
  259教学录像-KL的解释与赋值 (III) - 3

  30:54
• 
  260教学录像-KL的解释与赋值 (IV) - 1

  14:04
• 
  261教学录像-KL的解释与赋值 (IV) - 2

  14:11
• 
  262教学录像-KL的解释与赋值 (IV) - 3

  13:58
• 
  263教学录像-KL的解释与赋值 (V) - 1

  14:59
• 
  264教学录像-KL的解释与赋值 (V) - 2

  15:09
• 
  265教学录像-KL的解释与赋值 (V) - 3

  14:55
• 
  266教学录像-KL的解释与赋值 (VI) - 1

  15:20
• 
  267教学录像-KL的解释与赋值 (VI) - 2

  15:26
• 
  268教学录像-KL的解释与赋值 (VI) - 3

  15:12
• 
  269教学录像-KL的可靠性与和谐性 - 1

  18:58
• 
  270教学录像-KL的可靠性与和谐性 - 2

  19:01
• 
  271教学录像-KL的可靠性与和谐性 - 3

  18:58