Tests

Section Nom Le test ferme
Bloc 1 (22-23 août) - Introduction, Récursivité/Induction, Calcul propositionnel. Quiz Cours 1 Pas de date de fermeture
Bloc 2 (29-30 août) - Calcul propositionnel. Introduction au calcul des prédicats. Quiz Cours 2 Pas de date de fermeture
Bloc 3 (5-6 Septembre) - Calculs des prédicats. Complétude. Quiz Cours 3 Pas de date de fermeture
Bloc 4 (12-13 Septembre ) - Incomplétude. Introduction aux machines de Turing. Quiz cours 4-5 Pas de date de fermeture
Bloc 5 (19-20 Septembre) - Machines de Turing. Modèles de Calculs. Thèse de Church-Turing. Calculabilité. Quiz Cours 5 Pas de date de fermeture
Quiz Cours 5 suite Pas de date de fermeture
Archives PC Notée Partiel 2020 mercredi 30 septembre 2020, 11:10
Bloc 6 (26-27 Septembre) - Calculabilité. Révisions Quizz Cours 6 Pas de date de fermeture
Bloc 8 (18-19 Octobre) - NP-complétude. Quiz Cours 8 Pas de date de fermeture
Bloc 9 (25-26 Octobre) - NP-complétude: suite. Quiz Cours 9 Pas de date de fermeture