已购课程
个人中心
内容中心
关注我们
APP下载
反馈
北京大学公开课：求范式的一般步骤
6133 播放
收藏
下载
手机看
登录后可发评论

评论沙发是我的～

热门评论(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.1万播放
      06:25
      北京大学公开课：命题符号化
      [8] 北京大学公开课：逻辑连结词（上）
      1.8万播放
      01:59
      北京大学公开课：逻辑连结词（上）
      [10] 北京大学公开课：命题公式
      2.0万播放
      06:36
      北京大学公开课：命题公式
      [11] 北京大学公开课：真值函数
      1.6万播放
      06:37
      北京大学公开课：真值函数
      [12] 北京大学公开课：命题形式化
      1.4万播放
      06:33
      北京大学公开课：命题形式化
      [13] 北京大学公开课：重言式
      1.3万播放
      06:11
      北京大学公开课：重言式
      [14] 北京大学公开课：逻辑等价式和逻辑蕴...
      1.3万播放
      17:40
      北京大学公开课：逻辑等价式和逻辑蕴涵式
      [15] 北京大学公开课:代入原理和替换原理
      8943播放
      05:41
      北京大学公开课:代入原理和替换原理
      [16] 北京大学公开课：证明逻辑等价式和逻...
      1.3万播放
      13:53
      北京大学公开课：证明逻辑等价式和逻辑蕴涵式
      [17] 北京大学公开课：范式及基本术语
      9043播放
      07:26
      北京大学公开课：范式及基本术语
      [18] 北京大学公开课：求范式的一般步骤
      6133播放
      待播放
      北京大学公开课：求范式的一般步骤
      [19] 北京大学公开课：主范式
      7153播放
      14:46
      北京大学公开课：主范式
      [20] 北京大学公开课：联结词级完备性
      7661播放
      10:28
      北京大学公开课：联结词级完备性
      为你推荐
      15:37
      1.6 逻辑代数理论和表达式的化简...
      939播放
      1.6 逻辑代数理论和表达式的化简（上）
      05:41
      第15讲 触发器与加法器（2）（下...
      815播放
      第15讲 触发器与加法器（2）（下）
      05:09
      1.3.1 信号的基本运算（下）
      1222播放
      1.3.1 信号的基本运算（下）
      05:30
      第1讲 数制（1）（下）
      636播放
      第1讲 数制（1）（下）
      08:09
      3.5 用逻辑门实现乘法器（下）
      801播放
      3.5 用逻辑门实现乘法器（下）
      05:20
      4.1 图论中最短路算法与程序实现...
      1971播放
      4.1 图论中最短路算法与程序实现（上）
      05:42
      5.6（2）加法器的应用（下）
      1526播放
      5.6（2）加法器的应用（下）
      40:09
      03.代数模块基础3（中）
      961播放
      03.代数模块基础3（中）
      12:44
      [1]--代数运算（上）
      1133播放
      [1]--代数运算（上）
      11:04
      【东南大学-数据库原理（国家级精品...
      1483播放
      【东南大学-数据库原理（国家级精品课）】4.3代数优化（上）
      15:48
      MOS差分对的附加分析（下）
      791播放
      MOS差分对的附加分析（下）
      06:27
      1.3 二进制数的算术运算（一）
      1299播放
      1.3 二进制数的算术运算（一）
      09:40
      模块五 2.52 化简为最简与或式...
      1342播放
      模块五 2.52 化简为最简与或式（上）
      11:06
      关系代数——专门的关系运算（上）
      669播放
      关系代数——专门的关系运算（上）

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

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