ECTS
5 crédits
Composante
Faculté des Sciences
Description
Ce cours se propose d’introduire la logique du premier ordre, appelée aussi calcul des prédicats.
Objectifs
Nous aborderons en particulier les notions suivantes :
-
Syntaxe des termes et des formules.
-
Interprétations, modèles.
-
Preuves formelles dans le calcul des séquents.
-
Formes prénexes, formes de Skolem, formes normales.
-
Unification, résolution.
-
Initiation à Prolog.
-
Théorème de complétude (calcul des séquents classique et de la résolution pour les
modèles classiques).
-
Présentation informelle de l’indécidabilité et de l’incomplétude de l’arithmétique.