התיאוריה של פונקציות רקורסיביות פותחה על ידי הנורווגי בן המאה ה-20 Thoralf Albert Skolem, חלוץ במטלוגיקה, כאמצעי להימנע ממה שנקרא הפרדוקסים של האינסוף המתעוררים בהקשרים מסוימים כאשר "הכל" מוחל על פונקציות הנעות על פני מחלקות אינסופיות; הוא עושה זאת על ידי ציון ה-…
מהי פונקציה רקורסיבית?
עמוד 1. הגדרות רקורסיביות של פונקציות. פונקציות מספר שלם רקורסיבי. באופן אינטואיטיבי, פונקציה רקורסיבית f היא אחת שניתן להגדיר את הפלט שלה עבור קלט נתון על ידי השוואת הפלט המשויך לה לביטוי הכולל את ערכי הפלט של f עבור קלט בגודל קטן יותר.
מהי תורת יכולת החישוב במדעי המחשב?
תורת החישוב, הידועה גם בתור תורת הרקורסיה, היא ענף של לוגיקה מתמטית, מדעי המחשב, ותורת החישוב שמקורה בשנות ה-30 של המאה ה-20 עם חקר הפונקציות הניתנות לחישוב ותואר טיורינג.
מהו הרעיון של רקורסיה?
רקורסיה היא תהליך של חזרה על פריטים בצורה דומה לעצמה. בשפות תכנות, אם תוכנית מאפשרת לך לקרוא לפונקציה בתוך אותה פונקציה, היא נקראת קריאה רקורסיבית של הפונקציה.
מהי פונקציה רקורסיבית בתורת החישוב?
פונקציות ה-μ-רקורסיביות (או פונקציות רקורסיביות כלליות) הן פונקציות חלקיות שלוקחות טפולות סופיות של מספרים טבעיים והחזר מספר טבעי יחיד. הם המחלקה הקטנה ביותר של פונקציות חלקיות הכוללות את הפונקציות הראשוניות וסגורות תחת קומפוזיציה, רקורסיה פרימיטיבית ואופרטור μ.
