University:

Email Address:

Phone Number:

Log Out View Passbook

逻辑和建模-第5期 阿姆斯特丹STEM项目 春季2025学期-延长 - Amsterdam

Flight Credit 获得价值高达 $1,000 在2024年9月12日之前使用代码*申请

Get Your Code
回到课程列表

逻辑和建模-第5期

逻辑和建模-第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学时.

在2024年9月12日前申请，可获得1000美元的飞行积分

通过两个简单的步骤获取您的航班信用码并进入存折. With Passbook, 你可以跟踪你最喜欢的节目和课程, 保存航班积分, 观看你感兴趣的目的地的视频.

Apply Now

Step 1 of 2

Next Step

Step 2 of 2

Submit

Back

*提供你的流动电话号码, 您同意定期收到来自CEA CAPA Education Abroad的短信，通知您重要的课程截止日期. 消息和数据速率可能适用.

Privacy Policy   |   Mobile Terms   |   飞行信用规则

您的航班积分已添加到您的存折上. 现在申请或查看您的存折，开始您旅程的下一步.

Passbook Apply Now
LET'S CHAT