كتاب حاضر كتابى است درباره مفاهيم. كتابى است كه مهمترين مفاهيم در قلمرو و علوم كامپيوتر را يا توضيح مىدهد يا اقلاً معرفى مىكند، مانند: منطق بول، ماشينهاى حالت متناهى، زبانهاى برنامهسازى، همگردان، مفسر، جهانشمولى تورينگ، محاسبه كوانتومى، الگوريتمها و.... اين كتاب موضوعاتى را به هم پيوند مىدهد كه از يكسو فرايندهاى ساده فيزيكى چون قطع و وصل كليد برق را در بر مىگيرند و از سويى ديگر روندهايى بغرنج چون قابليت آموزش سيستم خودسازمانده در كامپيوترهاى موازى را
