Nous faisons actuellement face à d'importantes perturbations en raison de problèmes liés à l'infrastructure de stockage de l'Université, dont nous sommes tributaires.
Bien que les enregistrements soient effectués correctement, leur publication subit des retards, et la lecture peut être instable.
Nous vous prions de bien vouloir nous excuser pour la gêne occasionnée.
Cliquer pour ajouter une information
temporelle
Cours 2 : Rappels de langages formels
61
Vues
mardi 20 février 2024
Centre universitaire d'informatique CUI -
Directement rattaché au CUI
Le cours 1 n'a malheureusement pas été enregistré à cause d'un problème de configuration.
Ce média sera en ligne jusqu'au
jeudi 20 février 2025
Collection
Complexité et calculabilité / cours
1
Cours 2 : Rappels de langages formels
Arnaud Casteigts
mardi 20 février 2024
2
Cours 3 : Décidable, reconnaissable, simulation
Arnaud Casteigts
mardi 5 mars 2024
3
Cours 4 : Diagonalisation et indécidabilité
Arnaud Casteigts
mardi 12 mars 2024
4
Cours 5 : Théorème de Rice (et degrés de Turing)
Arnaud Casteigts
mardi 19 mars 2024
5
Cours 6 : Introduction à la complexité algorithmique
Arnaud Casteigts
mardi 26 mars 2024
6
Complexité et calculabilité / exercices (révision)
Arnaud Casteigts
mardi 9 avril 2024
7
Cours 7 - Classes de complexité basiques
Arnaud Casteigts
mardi 16 avril 2024
8
Cours 8 : Relations connues; non-déterminisme; théorème de Savitch
Arnaud Casteigts
mardi 23 avril 2024
9
Cours 9 : Classe NP
Arnaud Casteigts
mardi 30 avril 2024
10
Cours 10 : NP-complétude
Arnaud Casteigts
mardi 7 mai 2024
11
Cours 11 et 12 : Exemples de réductions (11) et Théorème de Cook-Levin (12)
Arnaud Casteigts
mardi 14 mai 2024
12
Séance d'exercices (A. Berger)
Alexandre-Quentin Berger
mardi 21 mai 2024
13
Séance d'exercices (A. Berger)
Alexandre Berger
mardi 28 mai 2024