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