Logique du premier ordre

Ce cours se propose d’introduire la logique du premier ordre, appelée aussi calcul des prédicats.

Nous aborderons en particulier les notions suivantes :

1. Syntaxe des termes et des formules.

2. Interprétations, modèles.

3. Preuves formelles dans le calcul des séquents.

4. Formes prénexes, formes de Skolem, formes normales.

5. Unification, résolution.

6. Initiation à Prolog.

7. Théorème de complétude (calcul des séquents classique et de la résolution pour les

   modèles classiques).

8. Présentation informelle de l’indécidabilité et de l’incomplétude de l’arithmétique.