递归论 算与基础 伦理学、逻辑学 郝兆宽,杨睿之,杨跃
伦理学、逻辑学 新华书店全新正版书籍
￥ 26.9 6.9折 ￥ 39 全新
库存43件
河北保定
认证卖家担保交易快速发货售后保障
作者郝兆宽,杨睿之,杨跃
出版社复旦大学出版社
ISBN9787309140187
出版时间2018-10
版次1
装帧平装
开本16开
字数245千字
定价39元
货号xhwx_1201929245
上书时间2021-12-07
- 最新上架
商品详情
- 品相描述：全新
- 正版特价新书
- 商品描述
-
目录：
《递归论:算与基础》无目录
内容简介：
本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定结果（即马季亚谢维奇定理）和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中，读者可以找到递归论中经典的构造技巧——尾节扩张（算术力迫）和有穷损害优先方。第五章简单介绍了递归论的当前热点——算理论的基本概念，其中包含马丁洛夫的几个等价刻画。本书可以作为递归论导论课程的教材，以期为进一步学与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递归论的基本概念与技巧。
— 没有更多了 —
以下为对购买帮助不大的评价