פונקציה פרימיטיבית רקורסיבית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
Matanyabot (שיחה | תרומות) מ בוט החלפות: לעיתים |
אין תקציר עריכה תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד |
||
שורה 1:
'''פונקציה פרימיטיבית רקורסיבית''' היא [[פונקציה]] המוגדרת בתורת ה[[חישוביות]] בין מספר כלשהו של [[מכפלה קרטזית|מכפלות קרטזיות]] של [[קבוצת המספרים הטבעיים]] עם עצמה לבין קבוצת המספרים הטבעיים, הנוצרת מ[[הרכבה של פונקציות|הרכבת פונקציות]] ופעולה שנקראת "רקורסיה פרימיטיבית" באופן חוזר ונשנה על מספר פונקציות בסיסיות קבועות: הפונקציה הקבועה אפס, הוספת אחד, ובחירת אחד מרכיבי הקלט. מיקי גבע מכור למילקי
הפונקציות הפרימיטיביות הרקורסיביות מהוות שלב ביניים בדרך להגדרת [[פונקציה רקורסיבית|פונקציות רקורסיביות]] מלאות. בנוסף, הוכחות רבות לגבי מחלקות חישוביות מסתמכות עליהן בשל הגדרתן הנוחה. רבות מן הפונקציות הבסיסיות ב[[תורת המספרים]] הן פרימיטיביות רקורסיביות, כגון [[ארבע פעולות החשבון]], ה[[חזקה (מתמטיקה)|חזקה]] וה[[עצרת]]. משיקולים טכניים יש להתאים מעט את פונקציות ה[[חיסור]] וה[[חילוק]] כך שיחזירו רק ערכים טבעיים.
| |||