播放列表
(共57集)- 【第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集】 哥德尔定理(六)
主讲名师
-
清华大学心理学与认知科学研究中心
清华大学认知科学基地主任、心理与认知科学中心主任。并任国际逻辑学、方法论和科学哲学协会学术助理,国际符号学研究会理事,国际符号交际学院院士等职,主要研究领域为逻辑学、哲学以及认知科学等。