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 |