Skip to main content
Side panel
Home
More
English (en)
English (en)
Español - Internacional (es)
Français (fr)
You are currently using guest access
Log in
Home
Expand all
Collapse all
Expand
Collapse
Présentation générale
Highlighted
Expand
Collapse
Polycopié
Highlighted
Expand
Collapse
Handout (polycopié) in English
Highlighted
Expand
Collapse
Retours / Forum
Highlighted
Retours sur Cours et PCs
News forum
Expand
Collapse
Bloc 1 (22-23 août) - Introduction, Récursivité/Induction, Calcul propositionnel.
Highlighted
Cours 1
Enregistrement vidéo cours 22 Août
Quiz Cours 1
Sujet de la PC1
Solution de la PC1
Expand
Collapse
Bloc 2 (29-30 août) - Calcul propositionnel. Introduction au calcul des prédicats.
Highlighted
Cours 2
Quiz Cours 2
Enregistrement vidéo du cours du 29 Août
PC2 : preuves par résolution
PC2 : corrigé
Expand
Collapse
Bloc 3 (5-6 Septembre) - Calculs des prédicats. Complétude.
Highlighted
Cours 3
Quiz Cours 3
Enregistrement vidéo du cours du 5 septembre
PC3 : logique du premier ordre
PC3 : corrigé
Expand
Collapse
Bloc 4 (12-13 Septembre ) - Incomplétude. Introduction aux machines de Turing.
Highlighted
Cours 4
Quiz cours 4-5
Enregistrement amphi du 12 septembre 2023
PC4 : Machines de Turing
PC4 : corrigé
Expand
Collapse
Bloc 5 (19-20 Septembre) - Machines de Turing. Modèles de Calculs. Thèse de Church-Turing. Calculabilité.
Highlighted
Cours 5
Quiz Cours 5
Quiz Cours 5 suite
Enregistrement vidéo amphi du 19 septembre
PC5 : Calculabilité
PC5 : corrigé
Expand
Collapse
Archives PC Notée
Highlighted
Archives de PC notées
Sujet 2019
Solution 2019
Partiel 2020
Correction du partiel 2020
Sujet 2021
Correction 2021
Sujet 2022
Correction 2022
Sujet 2023
Correction 2023
Expand
Collapse
Bloc 6 (26-27 Septembre) - Calculabilité. Révisions
Highlighted
Cours 6
Quizz Cours 6
Enregistrement vidéo de l'amphi du 26 septembre
Expand
Collapse
Bloc 7 (10-11 Octobre) - Preuve du théorème d'incomplétude. Introduction à la complexité
Highlighted
Cours 7
Enregistrement vidéo de l'amphi du 10 Octobre
PC7 : pavages de Wang
PC7 : corrigé
Expand
Collapse
Bloc 8 (18-19 Octobre) - NP-complétude.
Highlighted
Cours 8
Quiz Cours 8
Enregistrement vidéo cours du 18 octobre 2023
PC8 : Complexité
PC8 : corrigé
Expand
Collapse
Bloc 9 (25-26 Octobre) - NP-complétude: suite.
Highlighted
Cours 9
Quiz Cours 9
Enregistrement vidéo du 24 Octobre 2023
PC9 : problèmes NP-complets
PC9 : corrigé
Expand
Collapse
Bloc 10 (7-8 Novembre) - Autres complexités
Highlighted
Cours 10
Enregistrement vidéo de l'amphi du 7 novembre 2023
PC10 : Complexité et récursion
PC10 : corrigé
Expand
Collapse
Archives Pales
Highlighted
Expand
Collapse
Pâle 2023
Highlighted
Expand
Collapse
Compléments (Facultatifs)
Highlighted
Vidéos
Machines de Turing
Open course index
INF412-2023
Bloc 10 (7-8 Novembre) - Autres complexités
Enregistrement vidéo de l'amphi du 7 novembre 2023
Enregistrement vidéo de l'amphi du 7 novembre 2023
Completion requirements
Mark as done