递归可枚举集和图灵度 - 索尔

递归可枚举集和图灵度

索尔

出版社

科学

出版时间

2007-01-01

ISBN

9787030182951

评分

★★★★★
书籍介绍
《递归可枚集合和图灵度:可计算函数与可计算生成集研究(影印版)》主要内容包括: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。
用户评论
太难了,代数几何的难和数理逻辑的难果然不同啊
已弃,文章琐碎,最讨厌这种定义在后的,总让人不知所云,而且读来繁琐,那么多段可以简化为一小段的
高德纳说现代的数学有很多是计算机科学用不上的。 但数理逻辑是必须要搞懂的
不错
收藏