Terminale NSI -
Notion de programme en tant que donnée.
Calculabilité, décidabilité.
Problème de l'arrêt
Thèse de Church
Comprendre que tout programme est aussi une donnée.
Comprendre que la calculabilité ne dépend pas du langage de programmation utilisé.
Montrer, sans formalisme théorique, que le problème de l’arrêt est indécidable.
Негізгі бет Terminale NSI - Notion de programme en tant que donnée. Calculabilité, décidabilité. Pb de l'arrêt
Пікірлер