Leçon #1344
Actif : false
Numero : 27
Titre : Décidabilité et indécidabilité. Exemples.2022
Créé le : 23/07/2026 12:42
Mis à jour : 23/07/2026 12:42
Rapport du jury 2017
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 portera une attention particulière à une formalisation propre des réductions, qui sont parfois très approximatives.
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 portera une attention particulière à une formalisation propre des réductions, qui sont parfois très approximatives.
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.
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.