Cliquer pour ajouter une information
temporelle
Cours 5 : Théorème de Rice (et degrés de Turing)
42
Vues
Tuesday 19 March 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