B.1 · חשיבה חישובית

מיקוד HL נתמך. מטרה הראשונה 2027; החזרות PDF רשמיות 403; בקשה שנרכשה ישנה היא ההערכה הסופית 2026. הדגם, ההערכה והדרישות המעשיות הנותרות שומרות על החזקות המוקלטות שלהן.

תנאי הכנה: קרא את הכמויות והיחידות הנ stated, השתמש באריתמטיקה ובתנאי המודל למטה. כל שיעור מפתח את השיטה שלו לפני העברה עצמאית.

אלו הם דוגמאות הוראה מקוריות או בדיוניות במפורש, לא מדידות אמיתיות או בדיקות למידה שנבדקו והושלמו.

מה would explain this observation?

• אלגוריתם יכול לעבוד לדוגמה אחת ולהכשל בגבול. הבדיקה חייבת להיות מעוצבת מהמפרט, ולא רק מסלול האושר.
• התחל בחזית. ציין את הכמותות או התכונות שת срав, ואז החלט איזה עדות יכולה להבדיל בין שתי הסברות.

בנה את המודל

• אלגוריתם הוא הליך סופי ולא-מסומן למשימה. מעקב (trace) מקליט שינויים במצב. אינוונט של לולאה מתאר תכונה השומרת על עצמה בכל איטרציה ועוזר להצדיק נכונות.
• אלגוריתם: הליך סופי הפותר משימה מוגדרת; בדיקת גבול: בדיקה בגבול של טווח הקלט המותר.

בחר עדויות שיכולות לבחון אותו

• ציין תנאי כניסה ופלטים מצופים. השתמש במקרי גבול, קבוצות ריקות כאשר מותר, ערכים כפולים וערכים לא תקינים. הבדל בין אלגוריתם שגוי לבין מימוש שגוי או דרישה חסרה.
• בצע מעקב חיפוש ברשימה מדומיינת סמוכה קטנה. ציין את הסדר הנוהג במדדים. עבור חיפוש בינארי, עדכן את הגבולות כך שהמרווח הנותר יצטמצם ודחה כניסה לא סמוכה אלא אם כן מיון הוא חלק מהמשימה.

עבוד מכמויות ידועות

• ציין את הערכים הידועים ואת יחידות המידה שלהם. בחר בקשר מכיוון שההנחות שלו מתאימות למקרה זה, ולאחר מכן סדר מחדש לפני ההצבה.
• ידוע: חיפוש ליניארי ברשימת שמונה פריטים עשוי לדרוש שמונה השוואות כאשר הפריט המבוקש הוא האחרון או שאינו קיים. הכפלת אורך הרשימה מכפילה את מספר ההשוואות במקרה הגרוע ביותר בתוך מודל זה. חיפוש בינארי מקטין את המרווח בכחצי בקירוב בכל שלב אך דורש מבנה מסודר מתאים.

דוגמה:

חיפוש ליניארי סורק את כל 14 הפריטים ללא התאמה. כמה השוואות פריטים מתרחשות? השתמש באותו רצף: כמות ידועה → מודל → קשר → הצבה → יחידה ופרשנות.

בדוק את המסקנה ואת הגבולות שלה

• בדיקת דוגמה מוצלחת אינה מוכיחה נכונות לכל הכניסה הקבועה. אל תביא סינטקס פסאודו-קוד ספציפי לקמבריד' לתוך קורס IB ללא מקור קורס.
• חזור לתצפית המקורית. הסבר מה התוצאה תומכת, אילו תנאים היא מניחה, ודרך אחת לבדוק הסבר מתחרה.

אזהרה:

בדיקת דוגמה מוצלחת אחת מוכיחה אלגוריתם נכון לכל הכניסה הקבועה. טענה זו שגויה: בדיקת דוגמה מוצלחת אינה מוכיחה נכונות לכל הכניסה הקבועה. אל תביא סינטקס פסאודו-קוד ספציפי לקמבריד' לתוך קורס IB ללא מקור קורס.

מפת מושגים:

אלגוריתמים, מעקב והוכחות נכונות: ציין תנאי כניסה ופלטים מצופים. השתמש במקרי גבול, קבוצות ריקות כאשר מותר, ערכים כפולים וערכים לא תקינים. הבדל בין אלגוריתם שגוי לבין מימוש שגוי או דרישה חסרה.

מעקב וגבול ניתנים לביצוע

def first_index(values, target):
    for index, value in enumerate(values):
        if value == target:
            return index
    return -1
print(first_index([4, 7, 4], 4))
print(first_index([4, 7, 4], 9))
print(first_index([], 4))

תוצאה צפויה:

0
-1
-1

הלולאה בודקת אינדקס ⟨0⟩ קודם, עצורה על התאמה, ומחזירה −1 רק לאחר סיום הרשימה. לכן כפולים מחזירים את האינדקס הראשון. רשימה ריקה מבצעת גוף לולאה כלל.