Quizzes

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