INF412 - Fondement de l'Informatique : logique, modèles, calculs (2023-2024): All participants

Filters
Filters

Retours / Forum

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

Archives PC Notée

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)