From ecaeaee139b72630f8387a62178a63bde37722a9 Mon Sep 17 00:00:00 2001 From: oskar Date: Wed, 25 Mar 2026 00:39:25 +0100 Subject: [PATCH] device-56.home 2026-3-25:0:39:25 --- .obsidian/plugins/breadcrumbs/data.json | 2 +- fonction partielle récursive.md | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/.obsidian/plugins/breadcrumbs/data.json b/.obsidian/plugins/breadcrumbs/data.json index 5afda1e5..0d7ef82f 100644 --- a/.obsidian/plugins/breadcrumbs/data.json +++ b/.obsidian/plugins/breadcrumbs/data.json @@ -631,7 +631,7 @@ "prevs" ], "lock_view": false, - "lock_path": "fonction partielle récursive.md" + "lock_path": "schéma mu borné.md" }, "tree": { "collapse": false, diff --git a/fonction partielle récursive.md b/fonction partielle récursive.md index dd5a9a55..1cce6217 100644 --- a/fonction partielle récursive.md +++ b/fonction partielle récursive.md @@ -12,13 +12,12 @@ aliases: > [!definition] [[fonction partielle récursive]] > On définit l'ensemble des fonctions partielles récursive comme le plus petit sous-ensemble de $\mathscr{F}^{*}$ (voir [[fonction partielle#^notations|notations]]) qui : > - contienne toutes les fonctions ([[fonction totale|totales]]) constantes, projections et la fonction successeur -> - soit clos pour la [[fonction partielle#^ré]] +> - soit clos par [[fonction partielle#^composition]], [[fonction partielle#^recurrence|récurrence]] et [[schéma mu|schéma µ]] ^definition > [!idea] Intuition > 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é]]. - # Propriétés # Exemples