已购课程
个人中心
内容中心
关注我们
APP下载
反馈
北京大学公开课：命题形式化
1.4万 播放
收藏
下载
手机看
登录后可发评论

评论沙发是我的～

热门评论(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万播放
      待播放
      北京大学公开课：命题形式化
      [13] 北京大学公开课：重言式
      1.3万播放
      06:11
      北京大学公开课：重言式
      [14] 北京大学公开课：逻辑等价式和逻辑蕴...
      1.3万播放
      17:40
      北京大学公开课：逻辑等价式和逻辑蕴涵式
      [15] 北京大学公开课:代入原理和替换原理
      8863播放
      05:41
      北京大学公开课:代入原理和替换原理
      [16] 北京大学公开课：证明逻辑等价式和逻...
      1.2万播放
      13:53
      北京大学公开课：证明逻辑等价式和逻辑蕴涵式
      [17] 北京大学公开课：范式及基本术语
      8883播放
      07:26
      北京大学公开课：范式及基本术语
      [18] 北京大学公开课：求范式的一般步骤
      6113播放
      10:25
      北京大学公开课：求范式的一般步骤
      [19] 北京大学公开课：主范式
      7073播放
      14:46
      北京大学公开课：主范式
      [20] 北京大学公开课：联结词级完备性
      7581播放
      10:28
      北京大学公开课：联结词级完备性
      为你推荐
      00:20
      博威合金：在开发和验证超导材料，也...
      1075播放
      博威合金：在开发和验证超导材料，也取得一些应用场景的进展
      09:29
      11.6 复习课（下）
      904播放
      11.6 复习课（下）
      09:26
      3-5 线弹性体系互等定理（下）
      1436播放
      3-5 线弹性体系互等定理（下）
      11:21
      7.2.2 “故人入我梦，明我长相...
      1252播放
      7.2.2 “故人入我梦，明我长相忆”：杜甫与李白的生死情谊（下）
      02:55
      初中数学：怎么求OC的最大值？梯子...
      831播放
      初中数学：怎么求OC的最大值？梯子问题，取斜边中点，内江市中考
      02:11
      面食新吃法，三种面粉一起上，我家隔...
      686播放
      面食新吃法，三种面粉一起上，我家隔三差五蒸一锅，简单又营养
      21:10
      哈利波特 与阿兹卡班的囚徒幕后（上...
      1355播放
      哈利波特 与阿兹卡班的囚徒幕后（上）
      00:51
      中医麻风专著《疠疡机要》明清刊本
      1126播放
      中医麻风专著《疠疡机要》明清刊本
      10:09
      在分布式系统设计中中采用图划分（下...
      951播放
      在分布式系统设计中中采用图划分（下）
      00:29
      痛觉敏感 加重疼痛的因素
      1254播放
      痛觉敏感 加重疼痛的因素
      03:39
      农家烧鸡这样做，味道鲜美下饭又下酒...
      949播放
      农家烧鸡这样做，味道鲜美下饭又下酒，地道农家菜一次一只真解馋
      12:14
      【光的衍射】单缝衍射2（下）
      1186播放
      【光的衍射】单缝衍射2（下）
      10:28
      第75讲：金属和离子晶体8（下）
      647播放
      第75讲：金属和离子晶体8（下）
      05:00
      鲜香入味的虎皮尖椒，老厨教会你正宗...
      1172播放
      鲜香入味的虎皮尖椒，老厨教会你正宗做法，味道不输东北大饭店

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

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