图 书 馆
逻辑学24.241 Logic I (MIT) |
|
| 课程网址: | http://ocw.mit.edu/courses/linguistics-and-philosophy/24-241-logi... |
| 主讲教师: | Dr. Ephraim Glick |
| 开课单位: | 麻省理工学院 |
| 开课时间: | 2009-09-01 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | In this course we will cover central aspects of modern formal logic, beginning with an explanation of what constitutes good reasoning. Topics will include validity and soundness of arguments, formal derivations, truth-functions, translations to and from a formal language, and truth-tables. We will thoroughly cover sentential calculus and predicate logic, including soundness and completeness results. |
| 关 键 词: | 命题逻辑; 谓词逻辑; 数学归纳法; 元理论 |
| 课程来源: | 麻省理工大学公开课 |
| 最后编审: | 2015-11-21：cmh |
| 阅读次数: | 114 |