oskar/cours
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

MacBookPro.lan 2026-6-21:18:31:3

Browse Source
This commit is contained in:
oskar
2026-06-21 18:31:03 +02:00
parent 730b41e456
commit 95de1ee599
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.obsidian/plugins/breadcrumbs/data.json
Vendored
+2 -2
View File
@@ -286,7 +286,7 @@
"prevs" "prevs"
], ],
"lock_view": false, "lock_view": false,
"lock_path": "fonction récursive primitive.md", "lock_path": "fonction partielle.md",
"custom_sort_fields": false, "custom_sort_fields": false,
"custom_sort_field_labels": [] "custom_sort_field_labels": []
}, },
@@ -295,7 +295,7 @@
"show_attributes": [], "show_attributes": [],
"merge_fields": false, "merge_fields": false,
"lock_view": false, "lock_view": false,
"lock_path": "filtre de fréchet.md", "lock_path": "fonction partielle.md",
"field_group_labels": [ "field_group_labels": [
"ups", "ups",
"downs" "downs"
fonction partielle récursive.md
+1 -1
View File
@@ -12,7 +12,7 @@ aliases:
> [!definition] [[fonction partielle récursive]] > [!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 : > 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 > - 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 ^definition
> [!idea] Intuition > [!idea] Intuition