device-56.home 2026-3-24:14:51:19

2026-03-24 14:51:19 +01:00
parent 62686f2bab
commit 4909928869
4 changed files with 49 additions and 5 deletions
@@ -0,0 +1,20 @@
+---
+up:
+  - "[[fonction récursive primitive]]"
+tags:
+  - s/maths/logique
+  - s/informatique
+aliases:
+  - fonctions récursives
+---
+
+> [!definition] [[fonction récursive]]
+> On définitit l'ensemble les fonctions récursives en prennant la [[fonction récursive primitive#^definition-courte|définition des fonctions récursives primitives]] et en lui ajoutant un schéma de définition supplémentaire, le [[schéma mu|schéma µ non borné]].
+^definition
+
+
+
+# Propriétés
+
+# Exemples
+