Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science, the University of Chicago
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那本实在是太难太耗时了
评分RE degree theory 不得不看啊
评分只看了有穷损害一章 无穷损害优先方法刚好到经典递归论经典density theorem之前。理论上该章以前都能自己看,但这书比起cooper那本实在是太难太耗时了
评分只看了有穷损害一章 无穷损害优先方法刚好到经典递归论经典density theorem之前。理论上该章以前都能自己看,但这书比起cooper那本实在是太难太耗时了
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有