Fondements de l'Informatique: Logique, modèles, calculs
INF 412
VIDEOS Sur le Cours 1
- Globalement: Introduction, Récursivité/Induction, Calcul propositionnel.
- Transparents en un seul fichier (version imprimable 2x2)
- Partie a: Introduction.
-
- transparents: fichier plus haut du transparents 1 à 5.
-
- Partie b: Motivation du cours.
-
- transparents: fichier plus haut transparents 6 à 12
- (partie(s) relieé(s) du polycopié: chapitre 12, section 2).
- Partie c: Première présentation du calcul propositionnel
-
- transparents: fichier plus haut du transparent 13 à 19.
- (partie(s) relieé(s) du polycopié: chapitre 12, début de la section 3).
- Partie d: Récursivité et induction.
-
- transparents: fichier plus haut du transparent 20 à 33.
- (partie(s) relieé(s) du polycopié: chapitres 12, jusqu'à la section 3.6).
- Partie e: Calcul propositionnel.
-
- transparents: fichier plus haut transparent 34 à 41.
- (partie(s) relieé(s) du polycopié: chapitres 13).