开启辅助访问 切换到窄版

搜索 【热搜: 高等数学, 考研, 自考, 中医, 小学, 中学, 摄影 等】

清华大学 现代逻辑与形式化方法 57讲 蔡曙山主讲

[复制链接]
作者:精品资源 
版块:
370

升级   100%

精品资源 发表于 2017-3-6 15:35:29 | 显示全部楼层 |阅读模式
课程名称:   清华大学 现代逻辑与形式化方法 57讲  蔡曙山主讲

免费试看:   http://pan.baidu.com/s/1bo5jDUZ

课程目录:   

一介语言-1.flv
一介语言-2.flv
一介语言-3.flv
一介语言-4.flv
一介语言-5.flv
一介逻辑的句法学-1.flv
一介逻辑的句法学-2.flv
一介逻辑的句法学-3.flv
一介逻辑的句法学-4.flv
一介逻辑语言-1.flv
一介逻辑语言-2.flv
一介逻辑语言-3.flv
一介逻辑语言-4.flv
一介逻辑语言-5.flv
一介逻辑语言-6.flv
一介逻辑语言-7.flv
可靠性、一致性、完全性-1.flv
可靠性、一致性、完全性-2.flv
可靠性、一致性、完全性-3.flv
可靠性、一致性、完全性-4.flv
可靠性、一致性、完全性-5.flv
哥德尔定理-1.flv
哥德尔定理-2.flv
哥德尔定理-3.flv
哥德尔定理-4.flv
哥德尔定理-5.flv
哥德尔定理-6.flv
学生讨论-1.flv
学生讨论-2.flv
学生讨论-3.flv
学生讨论-4.flv
学生讨论-5.flv
学生讨论-6.flv
形式化的命题逻辑-1.flv
形式化的命题逻辑-2.flv
形式化的命题逻辑-3.flv
形式化的命题逻辑-4.flv
形式化的命题逻辑-5.flv
形式语言和形式系统-1.flv
形式语言和形式系统-2.flv
形式语言和形式系统-3.flv
形式语言和形式系统-4.flv
形式语言和形式系统-5.flv
模型论-1.flv
模型论-2.flv
模型论-3.flv
模型论-4.flv
模型论-5.flv
演绎定理-1.flv
演绎定理-2.flv
演绎定理-3.flv
演绎定理-4.flv
演绎定理-5.flv
自然逻辑推理-1.flv
自然逻辑推理-2.flv
自然逻辑推理-3.flv
自然逻辑推理-4.flv

下载地址:
点我购买此课程 【 下载地址被隐藏,需向作者支付 1 个学币后才能显示下载链接-->【前往充值学币】

回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册
如果点微信登录没有反应,请用手机自带的浏览器输入网站再点击微信登录(需要扫码)!

本版积分规则

 
 
QQ客服1
32113425108
QQ客服2
QQ客服3
客服微信hm344947004

关注网站公众号【极学客网】,获取推送资源
快速回复 返回顶部 返回列表