清华大学 现代逻辑与形式化方法 全57讲 主讲-蔡曙山 视频教程

清华大学 现代逻辑与形式化方法 全57讲 主讲-蔡曙山 视频教程
链接: https://pan.baidu.com/s/1rIt1J32rpUcibW8UIa1G3A 提取码: p4ty 
第1集 形式语言和形式系统（一）
第2集 形式语言和形式系统（二）
第3集 形式语言和形式系统（三）
第4集 形式语言和形式系统（四）
第5集 形式语言和形式系统（五）
第6集 一介逻辑语言（一）
第7集 一介逻辑语言（二）
第8集 一介逻辑语言（三）
第9集 一介逻辑语言（四）
第10集 一介逻辑语言（五）
第11集 一介逻辑语言（六）
第12集 一介逻辑语言（七）
第13集 形式化的命题逻辑（一）
第14集 形式化的命题逻辑（二）
第15集 形式化的命题逻辑（三）
第16集 形式化的命题逻辑（四）
第17集 形式化的命题逻辑（五）
第18集 演绎定理（一）
第19集 演绎定理（二）
第20集 演绎定理（三）
第21集 演绎定理（四）
第22集 演绎定理（五）
第23集 一介语言（一）
第24集 一介语言（二）
第25集 一介语言（三）
第26集 一介语言（四）
第27集 一介语言（五）
第28集 自然逻辑推理（一）
第29集 自然逻辑推理（二）
第30集 自然逻辑推理（三）
第31集 自然逻辑推理（四）
第32集 一介逻辑的句法学（一）
第33集 一介逻辑的句法学（二）
第34集 一介逻辑的句法学（三）
第35集 一介逻辑的句法学（四）
第36集 模型论（一）
第37集 模型论（二）
第38集 模型论（三）
第39集 模型论（四）
第40集 模型论（五）
第41集 可靠性、一致性、完全性（一）
第42集 可靠性、一致性、完全性（二）
第43集 可靠性、一致性、完全性（三）
第44集 可靠性、一致性、完全性（四）
第45集 可靠性、一致性、完全性（五）
第46集 学生讨论（一）
第47集 学生讨论（二）
第48集 学生讨论（三）
第49集 学生讨论（四）
第50集 学生讨论（五）
第51集 学生讨论（六）
第52集 哥德尔定理（一）
第53集 哥德尔定理（二）
第54集 哥德尔定理（三）
第55集 哥德尔定理（四）
第56集 哥德尔定理（五）
第57集 哥德尔定理（六）

 

说明：文件格式：mp4 /flv  百度网盘可直接看

下载本视频课程需扣(VIP免点）：1点