Sección Nombre Descripción
Bloc 1 (22-23 août) - Introduction, Récursivité/Induction, Calcul propositionnel. Carpeta Cours 1

Globalement: Introduction, Récursivité/Induction, Calcul propositionnel.

Archivo Sujet de la PC1
Bloc 2 (29-30 août) - Calcul propositionnel. Introduction au calcul des prédicats. Carpeta Cours 2

Globalement: Calcul propositionnel: rappels, complétude fonctionnelle, théorème de compacité. Calcul des prédicats.

Archivo PC2 : preuves par résolution
Bloc 3 (5-6 Septembre) - Calculs des prédicats. Complétude. Carpeta Cours 3

Globalement: Grands théorèmes du calcul des prédicats. Complétude.

Nudgis resource Enregistrement vidéo du cours du 5 septembre
Archivo PC3 : logique du premier ordre
Bloc 4 (12-13 Septembre ) - Incomplétude. Introduction aux machines de Turing. Carpeta Cours 4
Archivo PC4 : Machines de Turing
Bloc 5 (19-20 Septembre) - Machines de Turing. Modèles de Calculs. Thèse de Church-Turing. Calculabilité. Carpeta Cours 5

Globalement:  Machines de Turing. Modèle de Calculs. Thèse de Church-Turing. Calculabilité.

Nudgis resource Enregistrement vidéo amphi du 19 septembre
Archivo PC5 : Calculabilité
Archives PC Notée Carpeta Archives de PC notées
  • Pour l'édition 2013, la PC notée était la PC 6, donc avec un cours de plus et une PC de plus....
  • Pour l'édition 2012, les PC précédentes étaient différentes: plusieurs exercices correspondents maintenant à des exercices des PCs actuelles
  • Pour l'édition 2011, la PC notée était la PC 6, donc avec un cours de plus et une PC de plus et les PC précédentes étaient différentes: plusieurs exercices correspondents maintenant à des exercices des PCs actuelles
  • Ce cours n'existait pas auparavant.
Archivo Sujet 2019
Archivo Solution 2019
Archivo Correction du partiel 2020
Archivo Sujet 2021
Archivo Correction 2021
Archivo Sujet 2022
Archivo Correction 2022
Bloc 6 (26-27 Septembre) - Calculabilité. Révisions Carpeta Cours 6
Nudgis resource Enregistrement vidéo de l'amphi du 26 septembre
Bloc 7 (10-11 Octobre) - Preuve du théorème d'incomplétude. Introduction à la complexité Carpeta Cours 7
Nudgis resource Enregistrement vidéo de l'amphi du 10 Octobre
Archivo PC7 : pavages de Wang
Bloc 8 (18-19 Octobre) - NP-complétude. Carpeta Cours 8
Nudgis resource Enregistrement vidéo cours du 18 octobre 2023
Archivo PC8 : Complexité
Bloc 9 (25-26 Octobre) - NP-complétude: suite. Carpeta Cours 9

Globalement: NP-compétude (suite).

Nudgis resource Enregistrement vidéo du 24 Octobre 2023
Archivo PC9 : problèmes NP-complets
Bloc 10 (7-8 Novembre) - Autres complexités Carpeta Cours 10

Globalement: Autres complexités.

Nudgis resource Enregistrement vidéo de l'amphi du 7 novembre 2023
Archivo PC10 : Complexité et récursion
Compléments (Facultatifs) Carpeta Vidéos

Les vidéos suivantes m'ont été signalées et me semblent de très bonne qualité.

Carpeta Machines de Turing