| 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 |
