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