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