diff --git a/.obsidian/plugins/breadcrumbs/data.json b/.obsidian/plugins/breadcrumbs/data.json index 7987c7b0..024da9b9 100644 --- a/.obsidian/plugins/breadcrumbs/data.json +++ b/.obsidian/plugins/breadcrumbs/data.json @@ -286,7 +286,7 @@ "prevs" ], "lock_view": false, - "lock_path": "fonction récursive primitive.md", + "lock_path": "fonction partielle.md", "custom_sort_fields": false, "custom_sort_field_labels": [] }, @@ -295,7 +295,7 @@ "show_attributes": [], "merge_fields": false, "lock_view": false, - "lock_path": "filtre de fréchet.md", + "lock_path": "fonction partielle.md", "field_group_labels": [ "ups", "downs" diff --git a/fonction partielle récursive.md b/fonction partielle récursive.md index 1cce6217..6f647ee0 100644 --- a/fonction partielle récursive.md +++ b/fonction partielle récursive.md @@ -12,7 +12,7 @@ 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 par [[fonction partielle#^composition]], [[fonction partielle#^recurrence|récurrence]] et [[schéma mu|schéma µ]] +> - soit clos par [[fonction partielle#^composition|composition]], [[fonction partielle#^recurrence|récurrence]] et [[schéma mu|schéma µ]] ^definition > [!idea] Intuition