ECTS
5 credits
Component
Faculty of Science
Description
This course introduces first-order logic, also known as predicate calculus.
Objectives
In particular, we will look at the following concepts:
-
Syntax of terms and formulas.
-
Interpretations, models.
-
Formal proofs in sequence calculus.
-
Prenexal forms, Skolem forms, normal forms.
-
Unification, resolution.
-
Introduction to Prolog.
-
Completeness theorem (computation of classical sequences and resolution for
classic models).
-
Informal presentation of the undecidability and incompleteness of arithmetic.