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