您好,欢迎来到聚文网。 登录 免费注册
递归论 算法与随机性基础

递归论 算法与随机性基础

  • 字数: 245000
  • 装帧: 平装
  • 出版社: 复旦大学出版社
  • 作者: 郝兆宽,杨睿之,杨跃
  • 出版日期: 2018-10-01
  • 商品条码: 9787309140187
  • 版次: 1
  • 开本: 16开
  • 页数: 0
  • 出版年份: 2018
定价:¥39 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识,以及某些有影响的问题与经典构造。本书共分5章。第一章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题,其中包括希尔伯特第十问题(丢番图整数解判定问题)的否定性结果(即马季亚谢维奇定理)和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中,读者可以找到递归论中经典的构造技巧——尾节扩张(算术力迫)和有穷损害优先方法。第五章简单介绍了递归论的当前热点——算法随机性理论的基本概念,其中包含马丁-洛夫随机性的几个等价刻画。
本书可以作为递归论导论课程的教材,以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递归论的基本概念与技巧。
目录
《递归论:算法与随机性基础》无目录

蜀ICP备2024047804号

Copyright 版权所有 © jvwen.com 聚文网