Calculabilité et complexité
Département
Informatique théorique![](../I/Desktop_computer_clipart_-_Yellow_theme.svg.png.webp)
Chapitres
Chap. 1 : | ![]() |
---|---|
Chap. 2 : | ![]() |
Chap. 3 : | ![]() |
Chap. 4 : | ![]() |
Annexes
Annexe : | ![]() |
---|
Exercices
Exercice : | ![]() |
---|
Interwikis
La leçon présente
- les extensions des machines de Turing, notamment aux machines de Turing non déterministes ;
- la récursivité (au sens de Turing) et mu-récursivité (au sens de Church) ;
- la Thèse de Church-Turing ;
- la machine de Turing universelle et la non-calculabilité ;
- des exemples de problèmes indécidables, classes de complexité : P, NP et EXP, NP-complétude.
Objectifs
Les objectifs de cette leçon sont :
- assimiler les notions de décidabilité d'un problème et de classes de complexité.
Niveau et prérequis conseillés
Leçon de niveau 17. Les prérequis conseillés sont :
- Les prérequis pour cette leçon n'ont pas encore été précisés. Pour le faire, cliquez ici.
Référents
Ces contributeurs sont prêts à vous aider concernant cette leçon :
- Psychoslave
Cet article est issu de Wikiversity. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.