获得价值高达 $1,000 在2024年9月12日之前使用代码*申请
逻辑和建模-第5期
OVERVIEW
CEA CAPA合作机构: 阿姆斯特丹自由大学
Location: 荷兰阿姆斯特丹
主要科目范围: Computer Sciences
Instruction in: English
Course Code: X_401015
Transcript Source: 合作伙伴机构
Course Details: Level 200
推荐学分: 3
Contact Hours: 84
DESCRIPTION
这堂课的重点是命题逻辑和一阶谓词逻辑. 我们使用自然演绎作为证明系统. The relation between semantic and syntactic methods is important; the central keywords are correctness, 一致性和完整性. 此外,我们注重表达能力,例如在制定查询时. 为了达到这个目的,一个基本的工具是紧性定理. 在算法上,命题逻辑的可判定性与谓词逻辑的不可判定性(例如, 看到了一个编码的邮政通信问题). 作为上述逻辑的一种变体,我们考虑具有Kripke模型的模态逻辑作为语义.
阿姆斯特丹自由大学(VU Amsterdam)根据ECTS系统授予学分. 因此,课程描述下列出的联系时间可能会因每门课程所需的讲座和独立工作的组合而有所不同, CEA的推荐学分是基于阿姆斯特丹自由大学分配的ECTS学分. 1学分等于阿姆斯特丹大学分配的28学时.
阿姆斯特丹自由大学(VU Amsterdam)根据ECTS系统授予学分. 因此,课程描述下列出的联系时间可能会因每门课程所需的讲座和独立工作的组合而有所不同, CEA的推荐学分是基于阿姆斯特丹自由大学分配的ECTS学分. 1学分等于阿姆斯特丹大学分配的28学时.
LET'S CHAT