-
>
闯进数学世界――探秘历史名题
-
>
中医基础理论
-
>
当代中国政府与政治(新编21世纪公共管理系列教材)
-
>
高校军事课教程
-
>
思想道德与法治(2021年版)
-
>
毛泽东思想和中国特色社会主义理论体系概论(2021年版)
-
>
中医内科学·全国中医药行业高等教育“十四五”规划教材
递归论:算法与随机性基础/逻辑与形而上学教科书系列 版权信息
- ISBN:9787309140187
- 条形码:9787309140187 ; 978-7-309-14018-7
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>>
递归论:算法与随机性基础/逻辑与形而上学教科书系列 本书特色
本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识,以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题,其中包括希尔伯特第十问题(丢番图整数解判定问题)的否定性结果(即马季亚谢维奇定理)和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中,读者可以找到递归论中经典的构造技巧——尾节扩张(算术力迫)和有穷损害优先方法。第五章简单介绍了递归论的当前热点——算法随机性理论的基本概念,其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材,以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递归论的基本概念与技巧。
递归论:算法与随机性基础/逻辑与形而上学教科书系列 内容简介
本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识,以及某些有影响的问题与经典构造。本书共分5章。**章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题,其中包括希尔伯特第十问题(丢番图整数解判定问题)的否定性结果(即马季亚谢维奇定理)和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中,读者可以找到递归论中经典的构造技巧——尾节扩张(算术力迫)和有穷损害优先方法。第五章简单介绍了递归论的当前热点——算法随机性理论的基本概念,其中包含马丁-洛夫随机性的几个等价刻画。 本书可以作为递归论导论课程的教材,以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递归论的基本概念与技巧。
递归论:算法与随机性基础/逻辑与形而上学教科书系列 目录
- >
龙榆生:词曲概论/大家小书
龙榆生:词曲概论/大家小书
¥8.7¥24.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥15.7¥45.8 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
朝闻道
朝闻道
¥14.8¥23.8 - >
史学评论
史学评论
¥14.4¥42.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥16.9¥49.8 - >
自卑与超越
自卑与超越
¥13.7¥39.8 - >
随园食单
随园食单
¥16.4¥48.0
-
UG NX 10.0模具设计教程
¥38.2¥59 -
计算机组成原理(微课版)
¥45¥69.8 -
电路基础/于宝琦
¥31.9¥49 -
通信电源
¥23.9¥38.8 -
计算机操作系统-(第四版)
¥19¥53 -
科学技术概论
¥30.4¥49
画法几何及机械制图
¥59.8¥98.0目标热特征控制技术
¥57.8¥98.0基于周期性列车运行图的加线技术研究
¥39.0¥69.0网上多核/众核系统的网络结构和映射算法(英文版)
¥77.4¥98.0