First-order logic

This course introduces first-order logic, also known as predicate calculus.

In particular, we will look at 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.