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

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

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