熱搜:南懷瑾 |證嚴上人

分類浏覽



招财猫彩票
作者:
郝兆宽 杨睿之 杨跃 著
定價:
39 元
頁數:
207頁
ISBN:
978-7-309-14018-7/O.664
字數:
245千字
開本:
16 开
裝幀:
平裝
出版日期:
2018年10月       
本類其他相關圖書

內容提要


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

作者簡介


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

書摘

書評       

   

地址:上海市國權路579號
郵編:200433
電話:021-65642854(社辦)
傳真:021-65104812

 
 

版權所有©复旦大學出版社,2002-2019年若有問題請與我们 (webmaster@fudanpress.com) 联系! 沪ICP备05015926号