Logic and Modelling
Vrije Universiteit Amsterdam
Amsterdam, The Netherlands
Area of Study
Taught In English
Course Level Recommendations
ISA offers course level recommendations in an effort to facilitate the determination of course levels by credential evaluators.We advice each institution to have their own credentials evaluator make the final decision regrading course levels.
Recommended U.S. Semester Credits3
Recommended U.S. Quarter Units4
Hours & Credits
The course objective is to obtain a good knowledge and understanding of the most important logical systems: propositional logic, predicate logic and modal logic. The students learn to use these systems to model data, knowledge and actions. An important aspect of the course is the ability to reason using these logics and reason about these logics: what can and what can not be expressed with a logic system, and what are the differences between the systems with respect to expressive power or the existence of decision procedures.
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.
Lecture, exercise classes and computer practicum.
TYPE OF ASSESSMENT
Exam, and computer assignments.
RECOMMENDED BACKGROUND KNOWLEDGE
Logic and Sets
Courses and course hours of instruction are subject to change.
Some courses may require additional fees.