本書主要介紹了計算模型領(lǐng)域的主要概念，方法和技術(shù)，旨在通過介紹遞歸函數(shù)，Lambda演算和Turing機(jī)來理解計算理論。本課程講述如下專題：遞歸函數(shù)、算盤機(jī)、Lambda演算、Turing機(jī)和Church論題。計算理論是計算機(jī)科學(xué)的理論基礎(chǔ)。