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

hosen

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

下载地址：

游客， 下载地址需要支付 25下载币 才能浏览支付

视频格式：flv

视频介绍
第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集 哥德尔定理（六）
视频大小：2.34G