Fondements de l'Informatique: Logique, modèles, calculs
CSC_41012_EP
INF 412
VIDEOS sur le cours 5
- Globalement: Machines de Turing. Modèle de Calculs. Thèse de Church-Turing. Calculabilité.
- ” ’Transparents en un seul fichier”’ (version imprimable 2x2)
- Partie a: Thèse de Church
- transparents: fichier plus haut du transparent 1 à 20..
- (partie(s) relieé(s) du polycopié: chapitre 8).
- Partie b: Calculer des fonctions avec des machines de Turing
-
- transparents: fichier plus haut transparent 19.
- (partie(s) relieé(s) du polycopié: ).
- Partie c: Machines de Turing universelles.
-
- transparents: fichier plus haut du transparent 21 à 25..
- (partie(s) relieé(s) du polycopié: chapitre 9).
- Partie d: Problèmes décidables
-
- transparents: fichier plus haut du transparent 26 à 28..
- (partie(s) relieé(s) du polycopié: chapitres 9).
- Partie e: Un premier problème indécidable.
-
- transparents: fichier plus haut du transparent 30 à 34..
- (partie(s) relieé(s) du polycopié: chapitres 9).
- Partie f: Problèmes semi-décidables. Sur la terminologie utilisée
- ** transparents: fichier plus haut du transparent 35 à 43..
- (partie(s) relieé(s) du polycopié: chapitres 9).
- Partie g: Autres problèmes indécidables
-
- transparents: fichier plus haut du transparent 44 à fin..
- (partie(s) relieé(s) du polycopié: chapitres 9).