From 883f40f8b814064c0a7e1ce7f204e2494fef76c5 Mon Sep 17 00:00:00 2001 From: oskar Date: Fri, 13 Mar 2026 15:04:27 +0100 Subject: [PATCH] MacBook-Pro-de-Oscar.local 2026-3-13:15:4:27 --- fonction récursive primitive.md | 1 + 1 file changed, 1 insertion(+) diff --git a/fonction récursive primitive.md b/fonction récursive primitive.md index f6f9289f..f40147ba 100644 --- a/fonction récursive primitive.md +++ b/fonction récursive primitive.md @@ -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 > - 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 On peut trouver de nouveaux schémas de définitions de fonctions qui sont stables sur les fonctions récursives primitives.