Fondements de l'Informatique: Logique, modèles, calculs
INF 412
VIDEOS sur le cours 2
- 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.
- Partie a: rappels, complétude fonctionnelle, forme normale conjonctive et forme normal disjonctive.
- transparents: fichier plus haut du transparent 1 à 7..
- (partie(s) relieé(s) du polycopié: chapitre 3).
- Partie b: système de preuve, preuve à la Hilbert-Fregge
-
- transparents: fichier plus haut du transparent 8 à 15..
- (partie(s) relieé(s) du polycopié: chapitre 4).
- Partie 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..
- (partie(s) relieé(s) du polycopié: chapitre 3.9. ).
- Partie d: calcul des prédicats
-
-
- transparents: fichier plus haut du transparent 28 à 35 (et les suivants).. ** (partie(s) relieé(s) du polycopié: chapitre 5).