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

MacBook-Pro-de-Oscar.local 2026-3-23:16:33:15

Browse Source
This commit is contained in:
oskar
2026-03-23 16:33:15 +01:00
parent 7b2b1109ae
commit f656fabe9e
2 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -651,7 +651,7 @@
"alias": false "alias": false
}, },
"lock_view": false, "lock_view": false,
"lock_path": "relation d'ordre.md" "lock_path": "fonction d'ackermann de cori et lascar.md"
} }
}, },
"codeblocks": { "codeblocks": {

5
fonction d'ackermann de cori et lascar.md
View File

@@ -196,7 +196,10 @@ aliases:
> Soient $g \in \mathscr{F}_{p}$ et $h \in \mathscr{F}_{p+2}$ > Soient $g \in \mathscr{F}_{p}$ et $h \in \mathscr{F}_{p+2}$
> Si $g$ et $h$ sont dans $C_{n}$ > Si $g$ et $h$ sont dans $C_{n}$
> Alors la fonction $f$ [[fonction récursive primitive#^definition|définie par récurrence à partir]] de $g$ et $h$ ($f = \rho(g, h)$) appartient à $C_{n+1}$ > Alors la fonction $f$ [[fonction récursive primitive#^definition|définie par récurrence à partir]] de $g$ et $h$ ($f = \rho(g, h)$) appartient à $C_{n+1}$
> > > [!démonstration]- Démonstration
> >
# Exemples # Exemples