遞歸可枚舉集和圖靈度

ction ction Recursion

內容介紹

《遞歸可枚集合和圖靈度:可計算函式與可計算生成集研究(影印版)》主要內容包括：An Informal DescriptionFormal Definitions of Computable FunctionsPrimitive Recursive Functions.Diagonalization and Partial Recursive FunctionsTuring Computable FunctionsThe Basic ResultsRecursive Permutations and Myhill's Isomorphism TheoremFundamentals of Recursively Enumerable Sets and the Recursion Theorem。