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

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