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