From 730b41e456c04fd195829dfc1c8bdffc39819184 Mon Sep 17 00:00:00 2001 From: oskar Date: Sun, 21 Jun 2026 04:32:41 +0200 Subject: [PATCH] MacBookPro.lan 2026-6-21:4:32:41 --- fonction récursive primitive.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fonction récursive primitive.md b/fonction récursive primitive.md index 1d52b441..44a9c13e 100644 --- a/fonction récursive primitive.md +++ b/fonction récursive primitive.md @@ -251,7 +251,7 @@ On peut trouver de nouveaux schémas de définitions de fonctions qui sont stabl # 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. > - dem elle est définie par : $q(x, y) = \mu t \leq x ((t+1)\cdot y > x)$