27 - Décidabilité et indécidabilité. Exemples.2022
Rapport du jury 2019
Le programme de l’option offre de très nombreuses possibilités d’exemples. Si les exemples classiques de problèmes sur les machines de Turing figurent naturellement dans la leçon, le jury apprécie des exemples issus d’autres parties du programme : théorie des langages, logique,... $\\$ Le jury porte une attention particulière à une formalisation propre des réductions, qui sont parfois très approximatives.
Afficher les anciens rapports
Développements
Plans
Rajouter une version
Utilisateur : sieghttct
Références :
Introduction to the theory of computation
Langages formels, Calculabilité et Complexité
Utilisateur : Promo ENSL 2015
Références :
Calculabilité et décidabilité
Introduction à l'informatique théorique: calculabilité & complexité
Mathématiques de l'informatique
Logique et fondements de l'informatique
Utilisateur : Timothée
Références :
Calculabilité et décidabilité
Langages formels, Calculabilité et Complexité
Introduction to the theory of computation
Introduction à l'informatique théorique: calculabilité & complexité
Utilisateur : Promo ENSL 2016
Références :
Calculabilité et décidabilité
Introduction to the theory of computation
Langages formels, Calculabilité et Complexité
Introduction à la calculabilité