פורטל:מדעי המחשב/מדף הספרים/5

דוד הראל, המחשב אינו כל-יכול, ספרי עליית הגג / הוצאת ידיעות אחרונות, 2004.

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

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