Passer au contenu principal
L'X
  • Accueil
  • Plus
Français ‎(fr)‎
English ‎(en)‎ Español - Internacional ‎(es)‎ Français ‎(fr)‎
Vous êtes connecté anonymement
Connexion
L'X
Accueil
Tout déplier Tout replier
Déplier Replier Présentation générale Marqué
Déplier Replier Polycopié Marqué
Déplier Replier Handout (polycopié) in English Marqué
Déplier Replier Retours / Forum Marqué
  • Retours sur Cours et PCs
  • News forum
Déplier Replier Bloc 1 (22-23 août) - Introduction, Récursivité/Induction, Calcul propositionnel. Marqué
  • Cours 1
  • Enregistrement vidéo cours 22 Août
  • Quiz Cours 1
  • Sujet de la PC1
  • Solution de la PC1
Déplier Replier Bloc 2 (29-30 août) - Calcul propositionnel. Introduction au calcul des prédicats. Marqué
  • Cours 2
  • Quiz Cours 2
  • Enregistrement vidéo du cours du 29 Août
  • PC2 : preuves par résolution
  • PC2 : corrigé
Déplier Replier Bloc 3 (5-6 Septembre) - Calculs des prédicats. Complétude. Marqué
  • Cours 3
  • Quiz Cours 3
  • Enregistrement vidéo du cours du 5 septembre
  • PC3 : logique du premier ordre
  • PC3 : corrigé
Déplier Replier Bloc 4 (12-13 Septembre ) - Incomplétude. Introduction aux machines de Turing. Marqué
  • Cours 4
  • Quiz cours 4-5
  • Enregistrement amphi du 12 septembre 2023
  • PC4 : Machines de Turing
  • PC4 : corrigé
Déplier Replier Bloc 5 (19-20 Septembre) - Machines de Turing. Modèles de Calculs. Thèse de Church-Turing. Calculabilité. Marqué
  • Cours 5
  • Quiz Cours 5
  • Quiz Cours 5 suite
  • Enregistrement vidéo amphi du 19 septembre
  • PC5 : Calculabilité
  • PC5 : corrigé
Déplier Replier Archives PC Notée Marqué
  • 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
Déplier Replier Bloc 6 (26-27 Septembre) - Calculabilité. Révisions Marqué
  • Cours 6
  • Quizz Cours 6
  • Enregistrement vidéo de l'amphi du 26 septembre
Déplier Replier Bloc 7 (10-11 Octobre) - Preuve du théorème d'incomplétude. Introduction à la complexité Marqué
  • Cours 7
  • Enregistrement vidéo de l'amphi du 10 Octobre
  • PC7 : pavages de Wang
  • PC7 : corrigé
Déplier Replier Bloc 8 (18-19 Octobre) - NP-complétude. Marqué
  • Cours 8
  • Quiz Cours 8
  • Enregistrement vidéo cours du 18 octobre 2023
  • PC8 : Complexité
  • PC8 : corrigé
Déplier Replier Bloc 9 (25-26 Octobre) - NP-complétude: suite. Marqué
  • Cours 9
  • Quiz Cours 9
  • Enregistrement vidéo du 24 Octobre 2023
  • PC9 : problèmes NP-complets
  • PC9 : corrigé
Déplier Replier Bloc 10 (7-8 Novembre) - Autres complexités Marqué
  • Cours 10
  • Enregistrement vidéo de l'amphi du 7 novembre 2023
  • PC10 : Complexité et récursion
  • PC10 : corrigé
Déplier Replier Archives Pales Marqué
Déplier Replier Pâle 2023 Marqué
Déplier Replier Compléments (Facultatifs) Marqué
  • Vidéos
  • Machines de Turing
  1. INF412-2023
  2. Bloc 9 (25-26 Octobre) - NP-complétude: suite.
  3. Enregistrement vidéo du 24 Octobre 2023

Enregistrement vidéo du 24 Octobre 2023

Conditions d’achèvement
Vous êtes connecté anonymement (Connexion)
Résumé de conservation de données
Obtenir l’app mobile
Fourni par Moodle