מחשב – הבדלי גרסאות

{{תקציר פורטל|מחשבים}}

'''מחשב''' הוא [[מכונה]] [[אלקטרוניקה|אלקטרונית]] המסוגלת לעבד נתונים על פי [[תוכנה]], כלומר על פי רצף [[פקודה (מחשב)|פקודות]] נתון מראש. במובן [[לוגיקה פורמלית|לוגי-פורמלי]] '''מחשב''' הוא מכונה המקיימת את ההגדרה של [[מכונת טיורינג]]{{הערה|1=ההגדרה הפורמלית של [[מכונת טיורינג]] דורשת זיכרון לא מוגבל, דרישה ששום מכונה פיזית לא מקיימת, אך בדרך כלל מקובל להתייחס גם למכונות פיזיות עם זיכרון סופי כ"מכונות טיורינג", תוך הבנה שהמימוש של מכונת טיורינג אינו מושלם, בגלל מגבלות העולם הפיזי. אין ציפיה שמכונת טיורינג אמיתית, עם זיכרון אינסופי, תתקיים אי פעם}}.