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