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

מפת מושגים חישוביות

חישוביות

קיום פתרון

דרגת קושי

סיבוכיות

זמן

מקום

פתרון בעיה

מודל חישובי

אוטומט

מחסנית

דטרמיניזם

שפות

מילים

א"ב

פעולות על שפות

מכונת טורינג

מודל פתרון בעיות

רקורסיה

איטרטיבי

חפש עד שתמצא

חיפוש ממצה

מחשב

זכרון

כח חישובי

פרדיגמה תכנותית

שפות תכנות

פונקציונאלית

פרוצדורלית

לוגית