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

CSC_41012_EP

INF 412

.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.
Partie a: Rappels, complétude fonctionnelle, forme normale conjonctive et forme normal disjonctive.
- transparents: fichier plus haut du transparents 1 à 7.
- (partie(s) relieé(s) du polycopié: chapitre 3).
Partie b: Système de preuve, preuve à la Hilbert-Fregge
- transparents: fichier plus haut transparents 8 à 15
- (partie(s) relieé(s) du polycopié: chapitre 4).
Bonus: Preuves en déduction naturelle.
- transparents: fichier plus haut du transparent 16 à 19.
- (partie(s) relieé(s) du polycopié: chapitre 4, section 4.3).
Partie c: Théorème de compacité.
- transparents: fichier plus haut du transparent 20 à 27.
- (preuve du théorème: derniers transparents du fichier plus haut).
Partie d: Calcul des prédicats.
- transparents: fichier plus haut transparent 28 à 35.
- (partie(s) relieé(s) du polycopié: chapitre 5).