הבדלים בין גרסאות בדף "פונקציה פרימיטיבית רקורסיבית"

מ
←‏חיסור: תיקון מהעריכה הקודמת.
(←‏חיסור: "שיפור" אפשרי של קוד מתמטי (מחיקת תגיות פנימיות מיותרות, מחיקת פסיקים, המרת "else" לביטוי המפורש).)
מ (←‏חיסור: תיקון מהעריכה הקודמת.)
 
כלומר, נגדיר:
<math> f(x,y) = \left \{ \begin{matrix} y-x & x \le y \\ 0 & x > y \end{matrix} \right. </math>
, ופונקציה זו תשמש אותנו כפונקציית החיסור, המצומצמת למספרים הטבעיים.
 
:<math>\ f(0,x) = x</math>
:<math>\ f(n+1,x) = p (f (n,x) )</math>
 
===חילוק===
בדומה לפונקציית החיסור, מתקנים את פונקציית החילוק כך שתמונתה תהיה תמיד מספרים שלמים. לכן, מגדירים את פונקציית [[חילוק|החילוק]] כעיגול כלפי מעלה של תוצאת החילוק. זהו למעשה [[חילוק עם שארית]] שלילית, כאשר מתעלמים מהשארית. החילוק מתבצע כך: