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