C10 : Compétences

Notion de programme en tant que donnée.

Comprendre que tout programme est aussi une donnée.

Comprendre que la calculabilité ne dépend pas du langage de programmation utilisé.

Calculabilité, décidabilité.

Montrer, sans formalisme théorique, que le problème de l’arrêt est indécidable.