Fondements de l'Informatique: Logique, modèles, calculs

CSC_41012_EP

INF 412

Globalement: Grands théorèmes du calcul des prédicats. Complétude.
” ’Transparents en un seul fichier”’ (version imprimable 2x2)
Chapitres du polycopiés concernés: chapitre 5 et 6.
Partie a: Retour sur l’épisode précédent (il est important de passer du temps à comprendre le calcul des prédicats (cf vidéo fin cours 2), ici quelques rappels).
- transparents: fichier plus haut du transparent 1 à 9..
- (partie(s) relieé(s) du polycopié: chapitre 5).
Partie b: Quelques exemples
- transparents: fichier plus haut du transparent 11 à 17..
- (partie(s) relieé(s) du polycopié: chapitre 6).
Partie c: Equivalences et formes normales
- transparents: fichier plus haut du transparent 18 à 20.
- (partie(s) relieé(s) du polycopié: chapitre 5).
Partie d: Systèmes de déduction pour le calcul des prédicats
- transparents: fichier plus haut du transparent 21 à 26.
- (partie(s) relieé(s) du polycopié: chapitre 6).
Partie bonus: Systèmes de déduction pour le calcul des prédicats: déduction naturelle **
- transparents: fichier plus haut du transparent 27 à 30.
Partie e: Grands théorèmes du calcul des prédicats
- transparents: fichier plus haut du transparent 31 à 39.
- (partie(s) relieé(s) du polycopié: chapitre 6).
Partie f: Conclusion. Idée de la preuve du théorème de complétude.
- transparents: fichier plus haut du transparent 40 à fin.
- (partie(s) relieé(s) du polycopié: chapitre 6, section 6.3).