本书是理论计算机科学的入门教材，主要介绍递归函数、算盘机、λ－演算、组合逻辑和Turing机等计算模型。书中每章附有适量习题，供读者选做。
本书可作为高等学校计算机及相关专业高年级本科生和研究生的教材，也可作为计算机科学与技术研究人员的参考书。
