PDF递归论：算法与随机性基础
逻辑与形而上学教科书系列
- 更新
- 分类
- 数学类
- ISBN
- 9787309140187
- 作者
- 郝兆宽 等
- 出版社
- 复旦大学出版社
- 语言
- 中文
- 年份
- 2018
- 格式
- 大小
- 56.63 MB
- MD5
- D5C93464626D8447FFE9CE9B32FC8D..
简介说明
本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。第一章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定性结果（即马季亚谢维奇定理）和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中，读者可以找到递归论中经典的构造技巧——尾节扩张（算术力迫）和有穷损害优先方法。第五章简单介绍了递归论的当前热点——算法随机性理论的基本概念，其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材，以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递归论的基本概念与技巧。书名:递归论：算法与随机性基础（逻辑与形而上学教科书系列）简介:作者:郝兆宽 等出版社:复旦大学出版社出版时间:2018年10月装订方式:平装-胶订分类:教材|研究生/本科/专科教材|工学图书|计算机/网络|程序设计|算法
更多相关
唐娜·弗雷泽 (Donna Frazier) ，苏珊·福沃德 (Susan Forward) 著； 杜玉蓉 译 四川人民出版社 自助人际与生活
[美]W. Richard Stevens Stephen A. Rago 著 elib.cc [[美]W. Richard Stevens Stephen A. Rago 著] 人民邮电出版社 ,elib.cc 计算机
大卫·威廉姆斯 elib.cc 接力出版社 ,elib.cc 大卫 少年幽默小说系列 儿童读物
