书籍简介:

递归论是数理逻辑的四大分支之一，创立于20世纪30年代，它的产生源于解决数学中的判定问题。从20世纪50年代研究范围逐渐扩大，关注点从可计算性扩展到对一般意义上的复杂性、构造性和可定义性等，它与逻辑学的其他分支（如集合论、模型论和证明论）和理论计算机科学密切相关。本书是有关递归论领域基础知识的综述和导引。除了讲述图灵机、递归函数和停机问题等经典内容之外，还讨论波斯特问题及其解决，引入初步的有穷损害和无穷损害等经典的构造方法。同时，定义并讨论的图灵度和图灵归约，介绍希尔伯特第十问题，作为递归论在经典数学中一个非常典范的应用。本书对较为晚近的领域（如随机性）也进行讨论。

书籍规格:

书籍详细信息
书名	递归论站内查询相似图书
	9787309140187 如需购买下载《递归论》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	上海	出版单位	复旦大学出版社
版次	1版	印次	1
定价(元)	35.0	语种	简体中文
尺寸	24 × 16	装帧	平装
页数		印数

全网搜索试读资源

书籍信息归属:

递归论是复旦大学出版社于2018.10出版的中图分类号为 O141.3 的主题关于递归论－高等学校－教材的书籍。