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

device-56.home 2026-3-25:0:39:25

Browse Source
This commit is contained in:
oskar
2026-03-25 00:39:25 +01:00
parent da2ef9febf
commit ecaeaee139
2 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.obsidian/plugins/breadcrumbs/data.json vendored
View File

@@ -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,

3
fonction partielle récursive.md
View File

@@ -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