Leçon 912 : Fonctions récursives primitives et non primitives. Exemples.

(2018) 912
(2020) 912

Dernier rapport du Jury :

(2019 : 912 - Fonctions récursives primitives et non primitives. Exemples.) 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.

(2017 : 912 - Fonctions récursives primitives et non primitives. Exemples.) Il s’agit de présenter un modèle de calcul : les fonctions récursives. Il est important de faire le lien avec d’autres modèles de calcul, par exemple les machines de Turing. En revanche, la leçon ne peut pas se limiter à l’aspect «modèle de calcul» et 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.

Plans/remarques :

2018 : Leçon 912 - Fonctions récursives primitives et non primitives. Exemples.


2016 : Leçon 912 - Fonctions récursives primitives et non primitives. Exemples.


Retours d'oraux :

Pas de retours pour cette leçon.

Références utilisées dans les versions de cette leçon :

Langages formels, Calculabilité et Complexité, Carton (utilisée dans 19 versions au total)
Mathématiques de l'informatique , Dehornoy (utilisée dans 8 versions au total)
Logique mathématique Tome 2, René Cori, Daniel Lascar (utilisée dans 7 versions au total)
Logique et fondements de l'informatique, Rougemont, Lassaigne (utilisée dans 6 versions au total)