Profil de Devevey

Informations :

Inscrit le :
28/12/2018
Dernière connexion :
20/06/2019
Inscrit à l'agrégation :
2019, option D

Ses versions de développements :

  • Développement :
  • Remarque :
    On prouve le théorème de Rice, et on rajoute à la fin un contre-exemple pour bien faire sentir ce que le théorème dit réellement : les propriétés doivent concerner le langage lui-même, pas la machine de Turing ni la manière dont elle exécute les calculs.
    Recasable avec 4* dans la leçon 913.
  • Référence :
  • Fichier :

Ses plans de leçons :