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

评论沙发是我的~

热门评论(0)
    全部评论(0)
      离散数学 北京大学
      • 集数:167
      相关推荐
      14:57
      37-教学录像-语音对应、有阶分布...
      942播放
      07:55
      5、2022考研数学暑期系列模块-...
      1438播放
      13:30
      怎样学习数学建模(中)
      1.7万播放
      13:58
      【中山大学公开课:逻辑学导引】人工...
      3907播放
      14:13
      6. How to find th...
      1.2万播放
      17:33
      计算思维起步-符号化、计算化与自动...
      4761播放
      01:03
      【可汗学院公开课:算术与代数预备课...
      3.5万播放
      14:59
      军事问题数学建模(下)
      4279播放
      14:27
      随机变量及数字特征(下)
      1298播放
      15:37
      【上海交通大学公开课:数学之旅】函...
      9579播放
      14:14
      【哈尔滨工程大学公开课:数学零距离...
      1822播放
      14:13
      【华南理工大学公开课:计算机网络安...
      2219播放
      15:13
      量子密码——从理论到应用(上)
      12.4万播放
      45:36
      竞技麻将初级教程 理论讲解 第一讲...
      3.1万播放