图书标签: 逻辑 数学 计算复杂性 Math
发表于2024-12-26
Recursively Enumerable Sets and Degrees pdf epub mobi txt 电子书 下载 2024
The first part consists of an introduction to the theory of computation and recursive function theory, including definitions of computable functions, Turing machines, partial recursive functions, recursively enumerable sets, the Kleene recursion theorem etc. The second part is a comprehensive study of recursively enumerable sets and their degrees.
Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science, the University of Chicago
RE degree theory 不得不看啊
评分RE degree theory 不得不看啊
评分只看了有穷损害一章 无穷损害优先方法刚好到经典递归论经典density theorem之前。理论上该章以前都能自己看,但这书比起cooper那本实在是太难太耗时了
评分只看了有穷损害一章 无穷损害优先方法刚好到经典递归论经典density theorem之前。理论上该章以前都能自己看,但这书比起cooper那本实在是太难太耗时了
评分RE degree theory 不得不看啊
评分
评分
评分
评分
Recursively Enumerable Sets and Degrees pdf epub mobi txt 电子书 下载 2024