912 - Fonctions récursives primitives et non primitives. Exemples.2021
Rapport du jury 2019
Il s’agit de présenter un modèle de calcul : les fonctions récursives. S’il est bien sûr important de faire le lien avec d’autres modèles de calcul, par exemple les machines de Turing, la leçon doit traiter des spécificités de l’approche. Le candidat doit motiver l’intérêt de ces classes de fonctions sur les entiers et pourra aborder la hiérarchie des fonctions récursives primitives. Enfin, la variété des exemples proposés sera appréciée.
Afficher les anciens rapports
Développements
Plans
Rajouter une version
Utilisateur : sieghttct
Références :
Langages formels, Calculabilité et Complexité
Mathématiques de l'informatique
Logique mathématique Tome 2
Logique et fondements de l'informatique
Utilisateur : Promo ENSL 2016
Références :
Logique mathématique Tome 2