递归理论，Frank Stephan著，细致讲解了一些基本结果和递归理论的证明方法
递归理论处理的是关于自然子集的基本概念、数字（或其他著名的可数域）可以有效地定义，以及如何定义如此定义的集合是复杂的。基本概念是递归和递归可数集，但递归理论中研究的集合世界远远不止这些这些东西。概念与丢番图集相联系，通过函数定义递归和图灵机器。虽然有些概念非常古老，但是直到Matiyasevich的伟大结果，丢番图和r.e.集是相同的这幅画完全被理解了。本讲座概述了基本结果和递归理论中的证明方法。
页:
[1]