更新
分类
数学类
ISBN
9787309140187
作者
郝兆宽 等
出版社
复旦大学出版社
语言
中文
年份
2018
格式
PDF
大小
56.63 MB
MD5
D5C93464626D8447FFE9CE9B32FC8DDC

简介说明

【封面】递归论:算法与随机性基础

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

更多相关

[PDF] 递归论:算法与随机性基础
郝兆宽, 杨睿之, 杨跃 复旦大学出版社 逻辑与形而上学教科书系列 数学类
[PDF] 递归论
莫绍揆 科学出版社 数学类
[PDF] 递归论
莫绍揆 科学出版社 现代数学基础丛书 数学类
[PDF] 数学奥林匹克小丛书(高中卷-11)组合数学
张垚 hua dong shi fan da xue chu ban she 数学类
[PDF] 数学奥林匹克小丛书(高中卷-10)数论
YU HONG BING East China Normal University Press 数学类
[PDF] 解析数论基础
潘承洞,潘承彪 科学出版社 现代数学基础丛书 数学类
[PDF] 集合论导引 第1卷
冯琦 科学出版社 数学类
[EPUB] 算术研究
卡尔·弗里德里希·高斯 重庆出版社 数学类
[EPUB] 解惑:心智模式决定你的一生
[英]E. F. 舒马赫 中信出版集团
[PDF] 这真的是你的错吗:如何摆脱情感暴力
[日] 加藤谛三 [[日] 加藤谛三] www.huibooks.com
[PDF] 集合论: 对无穷概念的探索
郝兆宽 复旦大学出版社 逻辑与形而上学教科书系列 数学类
[PDF] 幻方及其他: 娱乐数学经典名题
吴鹤龄 科学出版社 数学类
[EPUB] 京都新婚旅行杀人案
山村美纱;杨军(逸博) 译 群众出版社 日本推理小说文库 罪案惊悚与悬疑
[PDF] 龙藏 20 大乘经 华严部
景印重编句读版本 至善教育事务基金会 乾隆大藏经景印重编句读版本
[PDF] 哈代数论
哈代 人民邮电出版社 图灵数学·统计学丛书 数学类
[EPUB] 骚动之秋
刘玉民 人民文学出版社 茅盾文学奖获奖作品全集
[PDF] 华罗庚文集: 数论卷II 数论导引
华罗庚 科学出版社 华罗庚文集 数学类
[PDF] 论小说十家
赵园 华东师范大学出版社 新人文论
[PDF] 数论导引
华罗庚 科学出版社 华罗庚文集 数学类
[PDF] 初等数论
潘承洞; 潘承彪 北京大学出版社 21世纪数学规划教材·数学基础课系列 数学类
[PDF] 算法数论
裴定一,祝跃飞 科学出版社 数学类
[PDF] 素数的阴谋
托马斯·林 中信出版社 数学类
[PDF] 影宅第 (74)話
走马灯 集英社 影宅 漫画和图画小说
[PDF] 数论基础
潘承洞 高等教育出版社 现代数学基础 数学类
[PDF] 数论妙趣:数学女王的盛情款待
[美]阿尔伯特·H·贝勒, 谈祥柏(译) 上海教育出版社 通俗数学名著译丛 数学类
[PDF] 解析与概率数论导引
G. Trent Baum 高等教育出版社 法兰西精品数学译丛 数学类
[PDF] Substitutional Analysis=代换分析
(英) 卢瑟福 哈尔滨工程大学出版社
[PDF] 初等数论(第三版)
闵嗣鹤 严士健 高等教育出版社 数学类

资源索引