From b57d586578bb0c3295659def8d6a976f6f82d2e8 Mon Sep 17 00:00:00 2001 From: oskar Date: Thu, 5 Feb 2026 15:49:32 +0100 Subject: [PATCH] eduroam-prg-og-1-31-227.net.univ-paris-diderot.fr 2026-2-5:15:49:32 --- fonction récursive primitive.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/fonction récursive primitive.md b/fonction récursive primitive.md index 8a63d98f..073f7c0f 100644 --- a/fonction récursive primitive.md +++ b/fonction récursive primitive.md @@ -59,7 +59,12 @@ aliases: # Propriétés > [!proposition]+ les fonctions récursives primitives possèdent des algorithmes les calculant -> +> Il existe un algorithme pour calculer chacune des fonctions récursives primitives. +> > [!démonstration]- Démonstration +> > Cela est évident : +> > - les fonctions constantes, projections et la fonction suivant possèdent toutes des algorithmes pour les calculer +> > - si $f_1, f_2, \dots, f_{n}$ et $g$ sont des fonctions récursives primitives pour lesquelles il existe un algorithme de calcul, alors il existe un algorithme pour calculer $g(f_1, f_2, \dots, f_{n})$, qui consiste à donner en entrée de l'algorithme de calcul de $g$ les résultats des algorithmes de calcul de $f_1, f_2, \dots, f_{n}$ +> > - > # Exemples