本书是 逻辑与形而上学教科书系列 中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定性结果（即马季亚谢维奇定理）和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中，读者可以找到递归论中经典的构造技巧 尾节扩张（算术力迫）和有穷损害优先方法。第五章简单介绍了递归论的当前热点 算法随机性理论的基本概念，其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材，以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递
内容简介： 优化问题一直是计算机科学、人工智能和管理决策等领域广泛关注的一个问题。《智能进化算法概述及应用》由浅入深地介绍了粒子群优化算法、差分进化算法、混洗蛙跳算法、人工蜂群优化算法、果蝇优化算法、人工免疫优化算法和量子衍生进化算法及其相关应用，力求帮助读者能较容易地应用智能进化算法解决相应的问题。
朱旭振编著的《基于链路预测的推荐系统--原理模型与算法/十三五科学技术专著丛书》从复杂网络角度出发，研究基于相似性链路预测的协作推荐算法。本书主要面向广大的推荐算法研究者，希望能通过本书的介绍，帮助更
本书是与主教材《数据结构与算法》配套的实验教程。章介绍了常用开发环境，包括Microsoft Visual Studio 2010和Dev-C 5； 第2~9章的内容分别是线性表、栈和队列、树和二
随着互联网技术的飞速发展，传统的结构化数据已经无法满足人们对信息处理的要求。尤其是在云计算和物联网高速发展的今天，对管理半结构化数据、大规模信息处理等领域的研究受到越来越多的关注。由于半结构化数据模型既能描述半结构化数据又能描述结构化数据，且具有灵活易扩展的存储结构，其已被许多系统和应用作为公共数据模型，被广泛地用于异构数据量大的使用场景中。如今，几乎所有行业都制订了描述和共享本领域数据的半结构化数据模型应用标准。此外，由于半结构化数据模型具有易于描述结构、易于校验、易于展现等特点，许多原本是以非结构化方式进行存储的数据，也通过半结构化数据模型进行描述并存储。因此，如何对大规模半结构化数据进行有效的管理，在学术界是一个重要的理论研究课题，而在工业界又是一项具有广阔应用前景的
