-
>
闯进数学世界――探秘历史名题
-
>
中医基础理论
-
>
当代中国政府与政治(新编21世纪公共管理系列教材)
-
>
高校军事课教程
-
>
思想道德与法治(2021年版)
-
>
毛泽东思想和中国特色社会主义理论体系概论(2021年版)
-
>
中医内科学·全国中医药行业高等教育“十四五”规划教材
递归论:算法与随机性基础/逻辑与形而上学教科书系列 版权信息
- ISBN:9787309140187
- 条形码:9787309140187 ; 978-7-309-14018-7
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>>
递归论:算法与随机性基础/逻辑与形而上学教科书系列 本书特色
本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识,以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题,其中包括希尔伯特第十问题(丢番图整数解判定问题)的否定性结果(即马季亚谢维奇定理)和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中,读者可以找到递归论中经典的构造技巧——尾节扩张(算术力迫)和有穷损害优先方法。第五章简单介绍了递归论的当前热点——算法随机性理论的基本概念,其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材,以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递归论的基本概念与技巧。
递归论:算法与随机性基础/逻辑与形而上学教科书系列 内容简介
本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识,以及某些有影响的问题与经典构造。本书共分5章。**章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题,其中包括希尔伯特第十问题(丢番图整数解判定问题)的否定性结果(即马季亚谢维奇定理)和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中,读者可以找到递归论中经典的构造技巧——尾节扩张(算术力迫)和有穷损害优先方法。第五章简单介绍了递归论的当前热点——算法随机性理论的基本概念,其中包含马丁-洛夫随机性的几个等价刻画。 本书可以作为递归论导论课程的教材,以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递归论的基本概念与技巧。
递归论:算法与随机性基础/逻辑与形而上学教科书系列 目录
- >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥21.6¥48.0 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥20.2¥35.0 - >
中国历史的瞬间
中国历史的瞬间
¥16.7¥38.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥16.9¥49.8 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥6.7¥19.0 - >
史学评论
史学评论
¥14.4¥42.0 - >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥18.6¥55.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥14.5¥39.8
-
UG NX 10.0模具设计教程
¥38.2¥59 -
计算机组成原理(微课版)
¥45¥69.8 -
电路基础/于宝琦
¥31.9¥49 -
通信电源
¥23.9¥38.8 -
计算机操作系统-(第四版)
¥19¥53 -
科学技术概论
¥30.4¥49
计算结构力学(本科教材)
¥33.3¥68.0数值计算方法
¥15.1¥21.7基于信号处理的低速率拒绝服务攻击的检测技术
¥41.8¥58.0画法几何及机械制图
¥59.8¥98.0