Cours 3
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
Globalement: Grands théorèmes du calcul des prédicats. Complétude.