已购课程
个人中心
内容中心
关注我们
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] 北京大学公开课:代入原理和替换原理
      8943播放
      05:41
      北京大学公开课:代入原理和替换原理
      [16] 北京大学公开课：证明逻辑等价式和逻...
      1.3万播放
      13:53
      北京大学公开课：证明逻辑等价式和逻辑蕴涵式
      [17] 北京大学公开课：范式及基本术语
      9023播放
      07:26
      北京大学公开课：范式及基本术语
      [18] 北京大学公开课：求范式的一般步骤
      6133播放
      10:25
      北京大学公开课：求范式的一般步骤
      [19] 北京大学公开课：主范式
      7153播放
      14:46
      北京大学公开课：主范式
      [20] 北京大学公开课：联结词级完备性
      7621播放
      10:28
      北京大学公开课：联结词级完备性
      为你推荐
      00:16
      北师大教授于丹点评ChatGPT写...
      3703播放
      北师大教授于丹点评ChatGPT写高考作文：完全正确但毫无灵性
      11:28
      北京大学公开课：教学方法与教学媒介
      1.3万播放
      北京大学公开课：教学方法与教学媒介
      01:08
      清华教授陆向谦：我们整个这套应试教...
      770播放
      清华教授陆向谦：我们整个这套应试教育，培养不出人才
      00:36
      倪云华博士在某高校MBA讲授商业思...
      1340播放
      倪云华博士在某高校MBA讲授商业思维
      42:03
      2019年高二物理同步辅导课-伍岳...
      1202播放
      2019年高二物理同步辅导课-伍岳-北京大学（下）
      11:31
      华中师范大学公开课：《周易》的思想...
      5.1万播放
      华中师范大学公开课：《周易》的思想境界
      03:25
      哈尔滨工业大学公开课：三步写作法之...
      2.6万播放
      哈尔滨工业大学公开课：三步写作法之写作
      03:53
      电子科技大学公开课：学生讨论：求学...
      1.4万播放
      电子科技大学公开课：学生讨论：求学与爱情
      00:55
      北大教授书单推荐! 这十本你读过了...
      12.2万播放
      北大教授书单推荐! 这十本你读过了吗？
      42:02
      语文中考冲刺总复习-北京大学-崔珍...
      1622播放
      语文中考冲刺总复习-北京大学-崔珍燕主讲(崔珍燕2)（中）
      00:39
      【清华大学校园街采】高考数学148...
      13.4万播放
      【清华大学校园街采】高考数学148分在清华是什么水平 1.5万播放 ·
      01:51
      北京大学自主招生题：0 0=2，有...
      1660播放
      北京大学自主招生题：0 0=2，有人30秒，有人思考一晚上
      02:11
      北京大学第一位校长是谁？严复？蔡元...
      1431播放
      北京大学第一位校长是谁？严复？蔡元培？这个题很重要

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

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