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
Complexité et calculabilité / exercices (révision)
114
Vues
Tuesday 9 April 2024
Centre universitaire d'informatique CUI -
Directement rattaché au CUI
This media will be online until
Thursday 20 February 2025
Collection
Complexité et calculabilité / cours
1
Cours 2 : Rappels de langages formels
Arnaud Casteigts
Tuesday 20 February 2024
2
Cours 3 : Décidable, reconnaissable, simulation
Arnaud Casteigts
Tuesday 5 March 2024
3
Cours 4 : Diagonalisation et indécidabilité
Arnaud Casteigts
Tuesday 12 March 2024
4
Cours 5 : Théorème de Rice (et degrés de Turing)
Arnaud Casteigts
Tuesday 19 March 2024
5
Cours 6 : Introduction à la complexité algorithmique
Arnaud Casteigts
Tuesday 26 March 2024
6
Complexité et calculabilité / exercices (révision)
Arnaud Casteigts
Tuesday 9 April 2024
7
Cours 7 - Classes de complexité basiques
Arnaud Casteigts
Tuesday 16 April 2024
8
Cours 8 : Relations connues; non-déterminisme; théorème de Savitch
Arnaud Casteigts
Tuesday 23 April 2024
9
Cours 9 : Classe NP
Arnaud Casteigts
Tuesday 30 April 2024
10
Cours 10 : NP-complétude
Arnaud Casteigts
Tuesday 7 May 2024
11
Cours 11 et 12 : Exemples de réductions (11) et Théorème de Cook-Levin (12)
Arnaud Casteigts
Tuesday 14 May 2024
12
Séance d'exercices (A. Berger)
Alexandre-Quentin Berger
Tuesday 21 May 2024
13
Séance d'exercices (A. Berger)
Alexandre Berger
Tuesday 28 May 2024