APP下载
反馈
121-教学录像-一阶谓词演算的自然推演形式系统NL (III)(上)
收藏
下载
手机看
扫描二维码 用手机看
已观看至0分0秒
打开网易公开课APP-我的-右上角扫一扫,在手机上观看,还可以缓存视频,加入学习计划
还没有公开课客户端?立即下载
0播放
选集(0)
自动播放
登录后可发评论

评论沙发是我的~

热门评论(0)
    全部评论(0)
      离散数学 北京大学
      • 集数:167
      相关推荐
      14:08
      【哈尔滨工程大学公开课:数学零距离...
      3328播放
      12:51
      6.3.3 实数的知识结构梳理(中...
      2018播放
      02:27
      【可汗学院公开课:算术与代数预备课...
      11.1万播放
      14:13
      6. How to find th...
      1.2万播放
      15:35
      【上海交通大学公开课:数学之旅】函...
      12.1万播放
      13:45
      用有限刻画无穷——从欧几里得第五公...
      8.8万播放
      10:27
      1.8函数的概念(三)(下)
      970播放
      06:10
      初高中衔接练习:一元二次不等式 练...
      6573播放
      10:13
      04-第一章-数学分析-函数的连续...
      5791播放
      02:42
      高中数学应会题解不等式,利用同构方...
      1003播放
      07:36
      【基础】法向量求法稳固(上)
      7985播放
      13:22
      怎样学习数学建模(下)
      1.7万播放
      14:05
      【中山大学公开课:逻辑学导引】数理...
      8258播放