Computability and Unsolvability 在线电子书 图书标签: 计算理论 计算机科学 CS 经典 数学 递归论 计算机 计算
发表于2024-12-27
Computability and Unsolvability 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
讲的非常好,至少前后不矛盾,认真看能看懂。图灵机和godel数的转化。
评分作者是希尔伯特第十问题的解决者,作为递归论的深入,该作品堪称神作
评分作者是希尔伯特第十问题的解决者,作为递归论的深入,该作品堪称神作
评分讲的非常好,至少前后不矛盾,认真看能看懂。图灵机和godel数的转化。
评分作者是希尔伯特第十问题的解决者,作为递归论的深入,该作品堪称神作
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.
评分
评分
评分
评分
Computability and Unsolvability 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024