Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science, the University of Chicago
发表于2024-12-26
Recursively Enumerable Sets and Degrees 2024 pdf epub mobi 电子书
图书标签: 逻辑 数学 计算复杂性 Math
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.
只看了有穷损害一章 无穷损害优先方法刚好到经典递归论经典density theorem之前。理论上该章以前都能自己看,但这书比起cooper那本实在是太难太耗时了
评分只看了有穷损害一章 无穷损害优先方法刚好到经典递归论经典density theorem之前。理论上该章以前都能自己看,但这书比起cooper那本实在是太难太耗时了
评分只看了有穷损害一章 无穷损害优先方法刚好到经典递归论经典density theorem之前。理论上该章以前都能自己看,但这书比起cooper那本实在是太难太耗时了
评分只看了有穷损害一章 无穷损害优先方法刚好到经典递归论经典density theorem之前。理论上该章以前都能自己看,但这书比起cooper那本实在是太难太耗时了
评分只看了有穷损害一章 无穷损害优先方法刚好到经典递归论经典density theorem之前。理论上该章以前都能自己看,但这书比起cooper那本实在是太难太耗时了
Recursively Enumerable Sets and Degrees 2024 pdf epub mobi 电子书