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

评论沙发是我的～

热门评论(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万播放
      待播放
      北京大学公开课：重言式
      [14] 北京大学公开课：逻辑等价式和逻辑蕴...
      1.3万播放
      17:40
      北京大学公开课：逻辑等价式和逻辑蕴涵式
      [15] 北京大学公开课:代入原理和替换原理
      8943播放
      05:41
      北京大学公开课:代入原理和替换原理
      [16] 北京大学公开课：证明逻辑等价式和逻...
      1.3万播放
      13:53
      北京大学公开课：证明逻辑等价式和逻辑蕴涵式
      [17] 北京大学公开课：范式及基本术语
      9043播放
      07:26
      北京大学公开课：范式及基本术语
      [18] 北京大学公开课：求范式的一般步骤
      6133播放
      10:25
      北京大学公开课：求范式的一般步骤
      [19] 北京大学公开课：主范式
      7153播放
      14:46
      北京大学公开课：主范式
      [20] 北京大学公开课：联结词级完备性
      7661播放
      10:28
      北京大学公开课：联结词级完备性
      为你推荐
      06:02
      07 文章详情-创建组件并配置路由...
      1097播放
      07 文章详情-创建组件并配置路由（下）
      06:51
      高级篇-Redis最佳实践-07....
      1411播放
      高级篇-Redis最佳实践-07.服务端优化-持久化配置（上）
      19:36
      Lesson 5 如何构建一个分布...
      3428播放
      Lesson 5 如何构建一个分布式储存系统
      11:52
      01Windows基本管理-网络配...
      1437播放
      01Windows基本管理-网络配置命令（上）
      10:12
      21_集合类不安全之写时复制（下）
      1459播放
      21_集合类不安全之写时复制（下）
      04:46
      ps对象智能选择视频：快速自动分区...
      1041播放
      ps对象智能选择视频：快速自动分区选择并智能填充
      09:24
      数据真相：现在的年轻人，都在干什么...
      3.2万播放
      数据真相：现在的年轻人，都在干什么工作
      42:13
      10.2 密钥分配、保护、存储、备...
      14.5万播放
      10.2 密钥分配、保护、存储、备份撤销、过期与销毁
      11:26
      离群数据与盒形图（下）
      1832播放
      离群数据与盒形图（下）
      05:26
      被删除的文件都去哪儿了？它们经历了...
      3.3万播放
      被删除的文件都去哪儿了？它们经历了什么？
      04:56
      4.13迭代字典的内容
      1.1万播放
      4.13迭代字典的内容
      20:38
      创世伙伴聂冬辰：坚持做正确的事，在...
      2687播放
      创世伙伴聂冬辰：坚持做正确的事，在新领域突破边界｜未来商业源代码
      14:11
      【华南理工大学公开课：计算机网络安...
      1840播放
      【华南理工大学公开课：计算机网络安全】公开密钥密码学（上）

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

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