清华大学 现代逻辑与形式化方法 57讲 蔡曙山主讲
1600
|
|
【特价活动】只需50元，9000多门课程，一次性发放百度网盘链接！！
【单门经典课程=1个学币=15元】||【单门精品课程=1个学币=20元】 || 【vip会员=50元=可每天下载一门课】海量课程任你免费下载！在线自助开通，永久下载！！（点击查看） 课程名称: 清华大学 现代逻辑与形式化方法 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 下载地址: |
发表于 2017-3-6 15:35:29
