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

קשור למחשבים

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

חישוב קוונטי, חישוב רב⁻משתתפים בטוח, חישוב שריגי, חישוב תעריף הדואר על בסיס מרחק, חישובי קיצין, חישול, חישול הגוף, חישוף, חישוק, חישוק (התעמלות אמנותית)