已购课程
个人中心
内容中心
关注我们
APP下载
反馈
北京大学公开课：证明逻辑等价式和逻辑蕴涵式
1.2万 播放
收藏
下载
手机看
登录后可发评论

评论沙发是我的～

热门评论(0)
    全部评论(0)
      选集(19)
      自动播放
      [1] 北京大学公开课：课程介绍
      8.2万播放
      01:59
      北京大学公开课：课程介绍
      [2] 北京大学公开课：形式化及其极限
      3.9万播放
      18:53
      北京大学公开课：形式化及其极限
      [3] 北京大学公开课：悖论，版画，卡农
      2.6万播放
      11:52
      北京大学公开课：悖论，版画，卡农
      [4] 北京大学公开课：数理逻辑介绍
      2.8万播放
      04:55
      北京大学公开课：数理逻辑介绍
      [5] 北京大学公开课：什么是命题
      2.2万播放
      05:46
      北京大学公开课：什么是命题
      [6] 北京大学公开课：排中律
      2.1万播放
      05:14
      北京大学公开课：排中律
      [7] 北京大学公开课：命题符号化
      2.0万播放
      06:25
      北京大学公开课：命题符号化
      [8] 北京大学公开课：逻辑连结词（上）
      1.8万播放
      01:59
      北京大学公开课：逻辑连结词（上）
      [10] 北京大学公开课：命题公式
      1.9万播放
      06:36
      北京大学公开课：命题公式
      [11] 北京大学公开课：真值函数
      1.6万播放
      06:37
      北京大学公开课：真值函数
      [12] 北京大学公开课：命题形式化
      1.3万播放
      06:33
      北京大学公开课：命题形式化
      [13] 北京大学公开课：重言式
      1.3万播放
      06:11
      北京大学公开课：重言式
      [14] 北京大学公开课：逻辑等价式和逻辑蕴...
      1.3万播放
      17:40
      北京大学公开课：逻辑等价式和逻辑蕴涵式
      [15] 北京大学公开课:代入原理和替换原理
      8763播放
      05:41
      北京大学公开课:代入原理和替换原理
      [16] 北京大学公开课：证明逻辑等价式和逻...
      1.2万播放
      待播放
      北京大学公开课：证明逻辑等价式和逻辑蕴涵式
      [17] 北京大学公开课：范式及基本术语
      8823播放
      07:26
      北京大学公开课：范式及基本术语
      [18] 北京大学公开课：求范式的一般步骤
      6073播放
      10:25
      北京大学公开课：求范式的一般步骤
      [19] 北京大学公开课：主范式
      7013播放
      14:46
      北京大学公开课：主范式
      [20] 北京大学公开课：联结词级完备性
      7441播放
      10:28
      北京大学公开课：联结词级完备性
      为你推荐
      04:49
      高等数学
      5.0万播放
      高等数学
      07:23
      7、2022考研数学暑期系列模块-...
      1090播放
      7、2022考研数学暑期系列模块--f(x)与f'(x)极限关系（下）
      12:45
      数学阅读 生活中的螺线（下）
      1232播放
      数学阅读 生活中的螺线（下）
      09:47
      第8单元 数学好玩 寻找身体上的数...
      1352播放
      第8单元 数学好玩 寻找身体上的数学秘密（下）
      07:32
      58 数学广角-集合（第2课时）（...
      3935播放
      58 数学广角-集合（第2课时）（上）
      21:43
      北京大学公开课：递归应用示例（放苹...
      1.6万播放
      北京大学公开课：递归应用示例（放苹果）【较难 选听】
      07:13
      北京大学公开课：原则：利用练习和反...
      9934播放
      北京大学公开课：原则：利用练习和反馈促进学习
      13:13
      菲利普·津巴多：2016年北京大学...
      1668播放
      菲利普·津巴多：2016年北京大学公益演讲（二）（下）
      00:46
      北京大学教授邹月娴：科学家是一个头...
      1632播放
      北京大学教授邹月娴：科学家是一个头顶青苹果的职业
      12:33
      北京大学公开课：4.2 罗素的类型...
      2.0万播放
      北京大学公开课：4.2 罗素的类型论（一）
      18:01
      浙江大学公开课：方差定义和计算公式
      2.7万播放
      浙江大学公开课：方差定义和计算公式
      13:05
      北京大学公开课：例题二：最长上升子...
      8128播放
      北京大学公开课：例题二：最长上升子序列
      06:15
      北京大学公开课：公有继承的赋值兼容...
      6765播放
      北京大学公开课：公有继承的赋值兼容规则

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

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