Cours 2
Completion requirements
Globalement: Calcul propositionnel: rappels, complétude fonctionnelle, théorème de compacité. Calcul des prédicats.
- Transparents en un seul fichier (version imprimable 2x2)
- Chapitres du polycopiés concernés: chapitre 3 et 4.