热搜：南怀瑾 |证严上人

分类浏览

  • 文学艺术
  • 历史哲学
  • 政治法律
  • 经济管理
  • 新闻传播
  • 外国语言
  • 理工科技
  • 文化教育
  • 医药卫生
  • 教辅教参
  • 学前教育
  • 综合性图书

品牌教材

复旦博学品牌
复旦卓越品牌


递归论：算法与随机性基础
作者：
 郝兆宽 杨睿之 杨跃 著
定价：
39 元
页数：
207页
ISBN：
978-7-309-14018-7/O.664
字数：
245千字
开本：
16 开
装帧：
平装
出版日期：
2018年10月 　　　　　　
本类其他相关图书

内容提要

       本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。第一章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定性结果（即马季亚谢维奇定理）和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中，读者可以找到递归论中经典的构造技巧——尾节扩张（算术力迫）和有穷损害优先方法。第五章简单介绍了递归论的当前热点——算法随机性理论的基本概念，其中包含马丁-洛夫随机性的几个等价刻画。
       本书可以作为递归论导论课程的教材，以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递归论的基本概念与技巧。
      

作者简介

       郝兆宽，复旦大学哲学学院教授。主要研究方向为数学哲学、哥德尔思想。
      
       杨睿之，复旦大学哲学学院副教授。主要研究方向为数理逻辑和数学哲学。
      
       杨跃，新加坡国立大学数学系教授。主要研究方向为数理逻辑，尤其是递归论、皮亚诺算术模型。
      

书摘

书评       
　  

地址:上海市国权路579号
邮编:200433
电话:021-65642854(社办)
传真:021-65104812

　
　

版权所有©复旦大学出版社,2002-2024年，若有问题请与我们 (webmaster@fudanpress.com) 联系！ 沪ICP备05015926号