本书是 逻辑与形而上学教科书系列 中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识,以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题,其中包括希尔伯特第十问题(丢番图整数解判定问题)的否定性结果(即马季亚谢维奇定理)和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中,读者可以找到递归论中经典的构造技巧 尾节扩张(算术力迫)和有穷损害优先方法。第五章简单介绍了递归论的当前热点 算法随机性理论的基本概念,其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材,以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递
《数据结构与算法 第4版》共包括8章内容,详细讲述了线性结构、树结构和图结构中的数据表示及数据处理的方法,并对查找和排序两种重要的数据处理技术做了细致的探讨。《数据结构与算法 第4版》对每一类数据结构
随着互联网技术的飞速发展,传统的结构化数据已经无法满足人们对信息处理的要求。尤其是在云计算和物联网高速发展的今天,对管理半结构化数据、大规模信息处理等领域的研究受到越来越多的关注。由于半结构化数据模型
智能优化算法在解决大空间、非线性、全局寻优、组合优化等复杂问题方面具有独特的优势,因而得到了国内外学者的广泛关注,并在信号处理、图像处理、生产调度、任务分配、模式识别、自动控制和机械设计等众多领域得到
为了帮助有一定编程基础的人群进一步提升自己的Python编程水平及应对编程工作的压力,《算法实例精讲——Python语言实现》全面讲解了9种经典算法理论、65个典型实例的算法设计与分析以及Python
本书融入了游戏设计思想,通过游戏攻关的方式,介绍各种算法的原理和应用。全书共分8章,具体包括排序算法、穷举算法、递归算法、回溯算法、贪心算法、分治算法,栈、队列、树三种数据结构,动态规划算法,图论相关
本书给出了计算机系统设计策略三十六计和算法三十六计的研究成果,提出了计算机学科的四种基本的对立统一关系,即四个基本科学问题,包括集分定位、刚柔相摩、供需相应和串并转换。从集分定位出发,在策略三十六计中
本书融入了游戏设计思想,通过游戏攻关的方式,介绍各种算法的原理和应用。全书共分8章,具体包括排序算法、穷举算法、递归算法、回溯算法、贪心算法、分治算法,栈、队列、树三种数据结构,动态规划算法,图论相关
算法是计算机科学领域最重要的基石之一。算法是程序的灵魂,只有掌握了算法,才能轻松地驾驭程序开发。算法详解系列图书共有4卷,本书是第1卷——算法基础。本书共有6章,主要介绍了4个主题,它们分别是渐进性分
本书主要介绍区块链中不错重要的概念:共识在各种应用场景中的实现机制。本书是目前已面世书籍中对共识概念解析中至、至全面的一本。目标读者为区块链学习及研究人员,以及实际开发区块链系统的工程人员。在原著基础
本书示例丰富,图文并茂,以让人容易理解的方式阐释了算法,旨在帮助程序员在日常项目中更好地发挥算法的能量。书中的前三章将帮助你打下基础,带你学习二分查找、大O表示法、两种基本的数据结构以及递归等。余下的
托马斯H.科尔曼编著的《算法基础(打开算法之门)》介绍了什么是计算机算法,如何描述它们,以及如何来评估它们。这些计算机算法将提供:利用计算机搜索信息的简单方式;解决各种排序问题的方法;利用有向无环图
本书融入了游戏设计思想,通过游戏攻关的方式,介绍各种算法的原理和应用。全书共分8章,具体包括排序算法、穷举算法、递归算法、回溯算法、贪心算法、分治算法,栈、队列、树三种数据结构,动态规划算法,图论相关