Complexité et calculabilité / cours

Créé le : February 20 2024
Mis à jour : February 22 2024
Année académique : 2023-2024
Centre universitaire d'informatique CUI
Directement rattaché au CUI

Expire le : February 20 2025

cours
non publié
Index Date de création Title publié visibilité Durée # Vues
1 Tuesday 19 March 2024 Cours 5 : Théorème de Rice (et degrés de Turing) visible 01h44'59'' 49
2 Tuesday 16 April 2024 Cours 7 - Classes de complexité basiques visible 01h44'59'' 42
3 Tuesday 28 May 2024 Séance d'exercices (A. Berger) visible 01h44'59'' 57
4 Tuesday 12 March 2024 Cours 4 : Diagonalisation et indécidabilité visible 01h44'59'' 42
5 Tuesday 14 May 2024 Cours 11 et 12 : Exemples de réductions (11) et Théorème de Cook-Levin (12) visible 01h44'59'' 46
6 Tuesday 23 April 2024 Cours 8 : Relations connues; non-déterminisme; théorème de Savitch visible 01h44'59'' 43
8 Tuesday 9 April 2024 Complexité et calculabilité / exercices (révision) visible 01h44'59'' 114
9 Tuesday 5 March 2024 Cours 3 : Décidable, reconnaissable, simulation visible 01h44'59'' 90
10 Tuesday 26 March 2024 Cours 6 : Introduction à la complexité algorithmique visible 01h44'59'' 46
11 Tuesday 20 February 2024 Cours 2 : Rappels de langages formels visible 01h44'59'' 65
12 Tuesday 30 April 2024 Cours 9 : Classe NP visible 01h44'59'' 41
13 Tuesday 7 May 2024 Cours 10 : NP-complétude visible 01h44'59'' 44
14 Tuesday 21 May 2024 Séance d'exercices (A. Berger) visible 01h44'59'' 67