Email Address:

Phone Number:

Logic and Modelling - Period 5 Social Sciences & Humanities Program Spring 2025 Semester - Amsterdam

Flight Credit Get a Flight Credit worth up to $1,000 when you apply with code* by September 12, 2024

Logic and Modelling - Period 5

Logic and Modelling - Period 5 Course Overview


CEA CAPA Partner Institution: Vrije Universiteit Amsterdam
Location: Amsterdam, Netherlands
Primary Subject Area: Computer Sciences
Instruction in: English
Course Code: X_401015
Transcript Source: Partner Institution
Course Details: Level 200
Recommended Semester Credits: 3
Contact Hours: 84


The focus of the lecture is on propositional logic and first-order predicate logic. We work with natural deduction as proof system. The relation between semantic and syntactic methods is important; the central keywords are correctness, consistency and completeness. Moreover, we pay attention to expressive power, for example when formulating queries. A fundamental tool, for this purpose, is the compactness theorem. Algorithmically there the contrast between the decidability of propositional logic and the undecidability of predicate logic (for example, seen by a coding of the Post Correspondence Problem). As a variation of the mentioned logics, we consider modal logic with Kripke models as semantics.

Vrije Universiteit Amsterdam (VU Amsterdam) awards credits based on the ECTS system. Contact hours listed under a course description may vary due to the combination of lecture-based and independent work required for each course therefore, CEA's recommended credits are based on the ECTS credits assigned by VU Amsterdam. 1 ECTS equals 28 contact hours assigned by VU Amsterdam.

Receive a $1,000 Flight Credit when you apply by September 12, 2024

Get your flight credit code and access to Passbook in two easy steps. With Passbook, you can track your favorite programs and courses, save flight credits, and watch videos on the destination you're interested in.

Apply Now

Step 1 of 2

Step 2 of 2

*By providing your mobile number, you agree to receive recurring text messages from CEA CAPA Education Abroad notifying you of important program deadlines. Message and data rates may apply.

Privacy Policy   |   Mobile Terms   |   Flight Credit Rules

Your flight credit has been added to your Passbook. Apply now or view your Passbook to begin the next step in your journey.