图 书 馆
基本面元Fundamentals Of Metalogic |
|
| 课程网址: | http://videolectures.net/ssll09_slaney_fom/ |
| 主讲教师: | John K. Slaney |
| 开课单位: | 澳大利亚国立大学 |
| 开课时间: | 2009-04-16 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | This course provides an introduction to the metatheory of elementary logic. Following a "refresher" on the basics of notation and the use of classical logic as a representation language, we concentrate on the twin notions of models and proof. An axiomatic system of first order logic is introduced and proved complete for the standard semantics, and then we give an overview of the basic concepts of proof theory and of formal set theory. The material in this course is presupposed by other courses in the Summer School, which is why it is presented first. |
| 关 键 词: | 计算机科学; 逻辑; 元理论导论 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2020-06-03：魏雪琼(课程编辑志愿者) |
| 阅读次数: | 55 |