逻辑和建模-期间5 -阿姆斯特丹，荷兰-春季2025学期 -宝博体育

回到课程列表

逻辑和建模-第5期

概述

CEA CAPA合作机构: 阿姆斯特丹自由大学

地点: 荷兰阿姆斯特丹

主要科目范围: 计算机科学

指令: 英语

课程代码: X_401015

记录来源: 合作伙伴机构

课程详细信息: 200级

推荐学分: 3

联系时间: 84

描述

这堂课的重点是命题逻辑和一阶谓词逻辑. 我们使用自然演绎作为证明系统. The relation between semantic and syntactic methods is important; the central keywords are correctness, 一致性和完整性. 此外，我们注重表达能力，例如在制定查询时. 为了达到这个目的，一个基本的工具是紧性定理. 在算法上，命题逻辑的可判定性与谓词逻辑的不可判定性(例如, 看到了一个编码的邮政通信问题). 作为上述逻辑的一种变体，我们考虑具有Kripke模型的模态逻辑作为语义.

阿姆斯特丹自由大学(VU 阿姆斯特丹)根据ECTS系统授予学分. 因此，课程描述下列出的联系时间可能会因每门课程所需的讲座和独立工作的组合而有所不同, CEA的推荐学分是基于阿姆斯特丹自由大学分配的ECTS学分. 1学分等于阿姆斯特丹大学分配的28学时.