图书标签: 计算理论 计算机科学 CS 经典 数学 递归论 计算机 计算
发表于2024-12-24
Computability and Unsolvability pdf epub mobi txt 电子书 下载 2024
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数的转化。
评分
评分
评分
评分
Computability and Unsolvability pdf epub mobi txt 电子书 下载 2024