First-order logic

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

We will address the following concepts in particular:

1. Syntax of terms and formulas.

2. Interpretations, models.

3. Formal proofs in sequent calculus.

4. Prenex forms, Skolem forms, normal forms.

5. Unification, resolution.

6. Introduction to Prolog.

7. Completeness theorem (classical sequent calculus and resolution calculus for

   classic models).

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