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)$