好站推荐: 找书资源 | 备用域名:zhiso.cc
全名:递归论
简介:<p>本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识,以及某些有影响的问题与经典构造。本书共分5章。第一章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题,其中包括希尔伯特第十问题(丢番图整数解判定问题)的否定性结果(即马季亚谢维奇定理)和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四
目前呈现的是知搜为您找到有关递归论的内容,该内容来源于:无名图书,如果您对内容有异议,请到实际提供内容的网站进行交涉。注意本站只是起到辅助搜索的工具,不提供任何实际内容,本工具初衷为帮助书籍爱好者花更少的时间找到想要的内容。
另外如果本内容无法满足您的需求,请查看下方的相似内容,也许有您需要的书籍。或者你也可以试试搜索 递归论 或者搜索 郝兆宽 可能有意想不到的结果。