Fondements de l'Informatique: Logique, modèles, calculs
CSC_41012_EP
INF 412
VIDEOS sur le cours 4
- Globalement: Incomplétude. Introduction aux machines de Turing.
- ” ’Transparents en un seul fichier”’
- Partie a: Retour sur l’épisode précédent. Complétude.
- transparents: fichier plus haut du transparent 1 à 5..
- (partie(s) relieé(s) du polycopié: chapitres 5 et 6).
- Partie b: Graphes, Groupes, Corps, ... Et les entiers?
-
- transparents: fichier plus haut du transparent 6 à 12..
- (partie(s) relieé(s) du polycopié: Chapitres 6, section 6.1.7 à 6.2, et chapitre 10).
- Partie c: Théorème d’incomplétude.
-
- transparents: fichier plus haut du transparent 13 à 17..
- (partie(s) relieé(s) du polycopié: chapitre 10).
- Partie bonus: Et si on utilisait cela pour faire de l’analyse non-standard. video
-
- transparents: fichier plus haut
.
- Partie d: Objectifs de la suite du cours. Machines de Turing
-
-
- transparents: fichier plus haut du transparent 18 à 30..
- (partie(s) relieé(s) du polycopié: chapitre 7).
- Partie e: Programmer avec des Machines de Turing
-
-
- transparents: fichier plus haut du transparent 31 à 40 et annexes..
- (partie(s) relieé(s) du polycopié: chapitre 7).
- Partie f: Variantes de la notion de Machine de Turing. Une conclusion.
-
- transparents: fichier plus haut du transparent 41 à 46..
- (partie(s) relieé(s) du polycopié: chapitre 7).