Computability: An Introduction to Recursive Function Theory 豆 8.8分

资源最后更新于 2020-08-19 15:50:20

作者：Nigel Cutland

出版社：Cambridge University Press

出版日期：1980-01

ISBN：9780521294652

文件格式： pdf

标签： 递归论 计算理论 计算机科学 数理逻辑 数学 可计算性 computability 计算机

简介· · · · · ·

What can computers do in principle? What are their inherent theoretical limitations? These are questions to which computer scientists must address themselves. The theoretical framework which enables such questions to be answered has been developed over the last fifty years from the idea of a computable function: intuitively a function whose values can be calculated in an effect...