本書沿著計算發(fā)展的歷史，介紹計算理論的模型及其在軟硬件方面的實踐成果。計算理論的模型主要包含遞歸可計算函數(shù)、λ演算、圖靈機以及波斯特系統(tǒng)。其次，介紹了受圖靈機模型影響而產(chǎn)生的馮?諾依曼模型，以及該模型下計算機的工作原理、硬件組成等。最后，介紹了計算模型對軟件系統(tǒng)的影響，包括程序設(shè)計方法、系統(tǒng)軟件和應(yīng)用軟件。
本書可以作為計算機類相關(guān)專業(yè)本科生的教材，也可以作為想了解計算技術(shù)背景、發(fā)展過程、理論基礎(chǔ)、應(yīng)用情況人員的參考書目。