INF412 - Fondement de l'Informatique : logique, modèles, calculs (2023-2024): Tous les participants
Bloc 1 (22-23 août) - Introduction, Récursivité/Induction, Calcul propositionnel.
Bloc 2 (29-30 août) - Calcul propositionnel. Introduction au calcul des prédicats.
Bloc 3 (5-6 Septembre) - Calculs des prédicats. Complétude.
Bloc 4 (12-13 Septembre ) - Incomplétude. Introduction aux machines de Turing.
Bloc 5 (19-20 Septembre) - Machines de Turing. Modèles de Calculs. Thèse de Church-Turing. Calculabilité.
Bloc 6 (26-27 Septembre) - Calculabilité. Révisions
Bloc 7 (10-11 Octobre) - Preuve du théorème d'incomplétude. Introduction à la complexité
Bloc 8 (18-19 Octobre) - NP-complétude.
Bloc 9 (25-26 Octobre) - NP-complétude: suite.
Bloc 10 (7-8 Novembre) - Autres complexités
Compléments (Facultatifs)