• ECTS

    5 credits

  • Component

    Faculty of Science

Description

This course introduces first order logic, also called predicate calculus.

Read more

Objectives

In particular, we will address the following concepts:

  1. Syntax of terms and formulas.

  2. Interpretations, models.

  3. Formal proofs in sequence calculus.

  4. Prenexal forms, Skolem forms, normal forms.

  5. Unification, resolution.

  6. Introduction to Prolog.

  7. Completeness theorem (computation of classical sequences and resolution for

    classic models).

  8. Informal presentation of the undecidability and incompleteness of arithmetic.

Read more