Cours 5
Requisitos de finalización
Globalement: Machines de Turing. Modèle de Calculs. Thèse de Church-Turing. Calculabilité.