Cours 5
Conditions d’achèvement
Globalement: Machines de Turing. Modèle de Calculs. Thèse de Church-Turing. Calculabilité.