פורטל:מדעי המחשב/חישוביות

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

Maquina.png המחשה ציורית של רעיון מכונת טיורינג

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