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

Requisitos de finalización
En este momento está usando el acceso para invitados (Acceder)
Resumen de retención de datos
Descargar la app para dispositivos móviles
Desarrollado por Moodle