Classic text considers general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.
评分
评分
评分
评分
讲的非常好,至少前后不矛盾,认真看能看懂。图灵机和godel数的转化。
评分作者是希尔伯特第十问题的解决者,作为递归论的深入,该作品堪称神作
评分讲的非常好,至少前后不矛盾,认真看能看懂。图灵机和godel数的转化。
评分讲的非常好,至少前后不矛盾,认真看能看懂。图灵机和godel数的转化。
评分作者是希尔伯特第十问题的解决者,作为递归论的深入,该作品堪称神作
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有