Logic and Modelling

Vrije Universiteit Amsterdam

Course Description

  • Course Name

    Logic and Modelling

  • Host University

    Vrije Universiteit Amsterdam

  • Location

    Amsterdam, The Netherlands

  • Area of Study

    Computer Science

  • Language Level

    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.

    Hours & Credits

  • ECTS Credits

  • Recommended U.S. Semester Credits
  • Recommended U.S. Quarter Units
  • Overview

    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.

    Exam, and computer assignments.

    Logic and Sets

Course Disclaimer

Courses and course hours of instruction are subject to change.

Some courses may require additional fees.


This site uses cookies to store information on your computer. Some are essential to make our site work; others help us improve the user experience. By using the site, you consent to the placement of these cookies.

Read our Privacy Policy to learn more.