oskar/cours
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

eduroam-prg-og-1-31-227.net.univ-paris-diderot.fr 2026-2-5:15:49:32

Browse Source
This commit is contained in:
oskar
2026-02-05 15:49:32 +01:00
parent b0c28decab
commit b57d586578
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
fonction récursive primitive.md
View File

@@ -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