本書主要介紹了由圖靈機開啟的自動計算的基本思想，闡釋了計算機科學的核心原理，考察了過去的一個世紀里計算機科學學科的一些重要概念。在討論算法、編程、順序和并行處理時，作者還探討了新興的現(xiàn)代思想，比如生物計算和認知建模，挑戰(zhàn)了計算機科學作為人工科學的觀點，并回答什么是計算機科學。