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

MacBookPro.lan 2026-6-21:4:32:41

Browse Source
This commit is contained in:
oskar
2026-06-21 04:32:41 +02:00
parent bf08bd230d
commit 730b41e456
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
fonction récursive primitive.md
+1 -1
View File
@@ -251,7 +251,7 @@ On peut trouver de nouveaux schémas de définitions de fonctions qui sont stabl
# Exemples # Exemples
> [!example] fonction partie entière $q(x, y)$ > [!example] fonction quotient $q(x, y)$
> La fonction $q(x, y)$ égale à la partie entière de $\frac{x}{y}$ si $y \neq 0$ et à $0$ si $y=0$ est récursive primitive. > La fonction $q(x, y)$ égale à la partie entière de $\frac{x}{y}$ si $y \neq 0$ et à $0$ si $y=0$ est récursive primitive.
> - dem elle est définie par : $q(x, y) = \mu t \leq x ((t+1)\cdot y > x)$ > - dem elle est définie par : $q(x, y) = \mu t \leq x ((t+1)\cdot y > x)$