图 书 馆
计算逻辑Computational Logic |
|
| 课程网址: | http://ocw.upm.es/ciencia-de-la-computacion-e-inteligencia-artifi... |
| 主讲教师: | Damiano Zanardini |
| 开课单位: | 马德里理工大学 |
| 开课时间: | 信息不详。欢迎您在右侧留言补充。 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | This course is about the computational part of Mathematical Logic. Here, "computational" refers to what is amenable to be computed by means of an automatic process. In this sense, the goal of Computational Logic is to automatize the operation of proving a fact as a theorem given some prior knowledge (axioms or premises). |
| 关 键 词: | 数学; 逻辑计算; 操作自动化; 定理 |
| 课程来源: | 马德里理工大学公开课 |
| 最后编审: | 2015-10-10：linxl |
| 阅读次数: | 62 |