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

MacBook-Pro-de-Oscar.local 2026-3-13:15:4:27

Browse Source
This commit is contained in:
oskar
2026-03-13 15:04:27 +01:00
parent 7c321e05a4
commit 883f40f8b8
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
fonction récursive primitive.md
View File

@@ -171,6 +171,7 @@ Dans cette section, on démontre que quelques fonctions élémentaires sont réc
> Alors la fonction $\lambda x_1 x_2\dots x_{p}. f(x_{\sigma(1)}, x_{\sigma(2)}, \dots, x_{\sigma(p)})$ est aussi récursive primitive > Alors la fonction $\lambda x_1 x_2\dots x_{p}. f(x_{\sigma(1)}, x_{\sigma(2)}, \dots, x_{\sigma(p)})$ est aussi récursive primitive
> - dem cette fonction est égale à $f(P_{p}^{\sigma(1)}, P_{p}^{\sigma(2)}, \dots, P_{p}^{\sigma(p)})$ > - dem cette fonction est égale à $f(P_{p}^{\sigma(1)}, P_{p}^{\sigma(2)}, \dots, P_{p}^{\sigma(p)})$
## Schémas de définition supplémentaires ## Schémas de définition supplémentaires
On peut trouver de nouveaux schémas de définitions de fonctions qui sont stables sur les fonctions récursives primitives. On peut trouver de nouveaux schémas de définitions de fonctions qui sont stables sur les fonctions récursives primitives.