MacBook-Pro-de-Oscar.local 2026-1-29:13:26:9

fonction récursive primitive.md

@@ -0,0 +1,19 @@
+---
+up:
+tags:
+  - s/maths
+  - s/informatique
+aliases:
+  - fonctions récursives primitives
+---
+
+> [!definition] [[fonction récursive primitive]]
+> On définit par [[induction]] l'ensemble des fonctions récursives primitives comme suit :
+> Soit $p \in \mathbb{N}$ on note $\mathscr{F}_{p}$ l'ensemble des applications de $\mathbb{N}^{p} \to \mathbb{N}$ (par convention, $\mathscr{F}_{0}$ ne contient que la suite vide)
+> 
+^definition
+
+# Propriétés
+
+# Exemples
+