نقشی بر سنگ

کتاب حاضر مهم‌ترین مفاهیم علوم کامپیوتر را یا توضیح می‌دهد یا اقلّاً معرّفی می‌کند، مانند: منطق بول، ماشین‌های حالت متناهی، زبان‌های برنامه‌سازی، همگردان، مفسّر، جهان‌شمولی تورینگ، محاسبۀ کوانتومی، الگوریتم‌ها و ...

این کتاب موضوعاتی را به هم پیوند می‌دهد که از یک سو فرایندهای سادۀ فیزیکی چون قطع و وصل کلید برق را در بر می‌گیرند و از سویی دیگر روندهایی بغرنج چون قابلیّت آموزش سیستم خودسازمان‌ده در کامپیوترهای موازی را.