mardi 09 avril 2024 / 16:15 - 18:00 @ Battelle - D185
- Centre universitaire d'informatique CUI - Directement rattaché au CUI
-
Ce fichier sera en ligne jusqu'au jeudi 20 février 2025
Complexité et calculabilité / cours
1Cours 2 : Rappels de langages formels
01:44:59
2Cours 3 : Décidable, reconnaissable, simulation01:44:59
3Cours 4 : Diagonalisation et indécidabilité01:44:59
4Cours 5 : Théorème de Rice (et degrés de Turing)01:44:59
5Cours 6 : Introduction à la complexité algorithmique01:44:59
6Complexité et calculabilité / exercices (révision)01:44:59