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