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

CSC_41012_EP

INF 412

Globalement: Grands théorèmes du calcul des prédicats. Complétude. *Transparents en un seul fichier (version imprimable 2x2)
Chapitres du polycopiés concernés: chapitre 5 et 6.

---

Partie a: Retour sur l’épisode précédent (il est important de passer du temps à comprendre le calcul des prédicats (cf vidéo fin cours 2), ici quelques rappels).
- transparents: fichier plus haut du transparents 1 à 9. ** (partie(s) relieé(s) du polycopié: chapitre 5).

Globalement: Grands théorèmes du calcul des prédicats. Complétude.
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 transparents 1 à 9.
- (partie(s) relieé(s) du polycopié: chapitre 5).
Partie b: Quelques exemples
- transparents: fichier plus haut transparents 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 e: Grands théorèmes du calcul des prédicats
- transparents: fichier plus haut transparent 31 à 39.
- (partie(s) relieé(s) du polycopié: chapitres 13).
Partie f: Conclusion. Idée de la preuve du théorème de complétude.
- transparents: fichier plus haut transparent 40 à fin.
- (partie(s) relieé(s) du polycopié: chapitre 6, section 6.3).