-
תורת הרקורסיה
כל מה שרצית לדעת על תורת הרקורסיה:תורת הרקורסיה היא תחום במתמטיקה העוסק ברמת החישוביות והאי-פתירות של פונקציות מהטבעיים לעצמם, כמייצגים של מאגרי מידע אינסופיים. תחום זה קשור בקשר הדוק לתורת הקבוצות וללוגיקה מתמטית. במרכז תורת הרקורסיה נמצא מושג דרגות טיורינג. נלקח מויקיפדיה הגדרות נוספות הקשורות לתורת הרקורסיה:•רקורסיה•חישוביות•לוגיקה מתמטית
-
משפט הרקורסיה
כל מה שרצית לדעת על משפט הרקורסיה:משפט הרקורסיה (גם: משפט נקודת השבת, או משפט הרקורסיה של קליני) הוא משפט בתורת החישוביות הנוגע לקשר בין פונקציות בנות־חישוב לתיאור שלהן. המשפט הוכח על ידי סטיבן קליני בשנת 1938. המשפט מדגים כי לכל פונקציה בת־חישוב ניתן לבנות פונקציה "דומה" בעלת נקודת שבת מסוימת. השלכות המשפט מאפשרות הוכחת אי־כריעות…
-
שיטת אכרה-באזזי
כל מה שרצית לדעת על שיטת אכרה-באזזי:במדעי המחשב, שיטת אכרה-באזזי היא שיטה המשמשת לניתוח ההתנהגות האסימפטוטית של יחס נסיגה (רקורסיה), אשר מופיע באנליזה של אלגוריתמי הפרד ומשול שבהם תתי-הבעיות הן בגדלים שונים בצורה משמעותית. השיטה מהווה הרחבה משמעותית של שיטת האב, אשר מניחה שתתי-הבעיות של הבעיה הנתונה הן בגדלים זהים.שיטת אכרה-באזזי תקפה לנוסחאות חוזרות של…
-
סדרת פיבונאצ'י
כל מה שרצית לדעת על סדרת פיבונאצ'י:במתמטיקה, סדרת פיבונאצ'י (Fibonacci) היא הסדרה ששני איבריה הראשונים הם 1, 1 וכל איבר לאחר מכן שווה לסכום שני קודמיו. בהתאם לכך, איבריה הראשונים של הסדרה הם 1 , 1 , 2 , 3 , 5 , 8 , 13 , 21 , 34 , 55 , 89 ,…
-
נסיגה
כל מה שרצית לדעת על נסיגה:האם התכוונתם ל… מושגים ביטחוניים: נסיגה והשהייה – צורת קרב שמטרתה הזזת הכוחות לאחור תוך שימור המגע עם האויב והאטת התקדמותו נסיגה (פינוי שטח) – הזזת כוחות ותשתיות של מדינה מטריטוריה כחלק מהחלטה אסטרטגית או אילוץ אחרים: נוסחת נסיגה – מונח מתמטי נסיגה אינסופית – שיטת הוכחה מתמטית בדיקות נסיגה…
-
רקורסיית זנב
כל מה שרצית לדעת על רקורסיית זנב:רקורסיית זנב (באנגלית: Tail Recursion או Tail Call) היא פונקציה רקורסיבית המתוכננת כך שתאפשר ריצה בסיבוכיות מקום נמוכה יותר מאשר סיבוכיות מקום פרופורציונלית לעומק מחסנית הרקורסיה. נלקח מויקיפדיה הגדרות נוספות הקשורות לרקורסיית זנב:•מדעי המחשב•רקורסיה
-
אפקט דרוסטה
כל מה שרצית לדעת על אפקט דרוסטה:אֶפֶקְט דְרוֹסְטֶה הינו אפקט ויזואלי הנוצר כאשר תמונה מכילה העתק קטן יותר של עצמה. ההעתק הקטן יותר מכיל העתק קטן עוד יותר של התמונה המקורית, וכן הלאה. מבחינה תאורטית, האפקט נמשך עד אינסוף, אולם מבחינה מעשית הוא מוגבל על ידי מידת ההפרדה (רזולוציה) של התמונה. נלקח מויקיפדיה הגדרות נוספות…
-
לוגיקה מתמטית
כל מה שרצית לדעת על לוגיקה מתמטית:לוגיקה מתמטית הוא תחום במתמטיקה, העוסק במערכות פורמליות ובדרך בה הן מגלמות מושגים אינטואיטיביים, כגון הוכחה או חישוביות. התחום הוא אחד מקבוצה של תחומים המכונים יסודות המתמטיקה משום שהם עוסקים בבסיס הפורמלי של המתמטיקה כולה. לוגיקה מתמטית עוסקת באותם חלקים של הלוגיקה שניתן ליצור להם מודל מתמטי. בעבר נקרא…
-
שגרה (תכנות)
כל מה שרצית לדעת על שגרה (תכנות):קריאה לשגרה היא הפעלה שלה תוך כדי פעולת התוכנית. קריאה של שגרה לעצמה, ישירות או בעקיפין, נקראת רקורסיה. החלק בשגרה שמתבצע בפועל נקרא "גוף" השגרה. שגרה יכולה שלא לקבל קלט, לקבל קלט יחיד או מספר של קלטים כלשהם. שגרות הן עיקרה של פרדיגמת התכנות הפרוצדורלי. מקובל כי שימוש מושכל…
-
PL/I
כל מה שרצית לדעת על PL/I:PL/I (קרי: "פי אל וואן", קיצור של Programming Language One) היא שפת תכנות אימפרטיבית, פרוצדורלית, שפותחה באמצע שנות ה-60 על ידי חברת IBM. השפה נועדה להחליף את שתי השפות הנפוצות באותו זמן, FORTRAN ו-COBOL. בעוד ששפת פורטרן נועדה לשימושים מדעיים, ואילו קובול נועדה לשימושים מסחריים, PL/I נועדה להיות שפת תכנות…