递归可枚举集和图灵度 豆 9.2分

资源最后更新于 2020-08-19 15:52:41

作者：索尔

出版社：科学

出版日期：2007-01

ISBN：9787030182951

文件格式： pdf

标签： 数学 递归论 数理逻辑 计算复杂性 逻辑 计算机科学 Computability 逻辑学

简介· · · · · ·

《递归可枚集合和图灵度:可计算函数与可计算生成集研究(影印版)》主要内容包括：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。