Profil de Guilmant

Informations :

Inscrit le :
13/09/2017
Dernière connexion :
28/03/2018
Inscrit à l'agrégation :
2017, option Non renseigné

Ses versions de développements :

  • Développement :
  • Remarque :
    Très peu sourcé mais relativement bien fait dans ce TD : https://www.normalesup.org/~srideau/docs/class/LogEns/Td09_corr.pdf

    Il est peut être nécessaire de travailler avec d'autres notations et il est impératif de traiter la fonction d'Ackermann et de savoir qu'il existe une machine de Turing universelle. La notion de domination est nécessaire pour pouvoir obtenir un schéma $\mu$ borné et rester dans le cadre des fonction récursives primitives.

Ses plans de leçons :