本书是 逻辑与形而上学教科书系列 中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定性结果（即马季亚谢维奇定理）和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中，读者可以找到递归论中经典的构造技巧 尾节扩张（算术力迫）和有穷损害优先方法。第五章简单介绍了递归论的当前热点 算法随机性理论的基本概念，其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材，以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递
在我们生活的世界中，各种各样形形色色的事物和现象，其中都必定包含着科学的成分。在这些成分中，有些是你所熟知的，有些是你未知的，有些是你还一知半解的。面对未知的世界，好奇的你是不是有很多疑惑、不解和期待呢？！“形形色色的科学”趣味科普丛书，把我们身边方方面面的科学知识活灵活现、生动有趣地展示给你，让你在畅快阅读中收获这些鲜活的科学知识！《BR》 21世纪，飞速发展的计算机技术深入到手机、电视、数码相机、游戏机等的生活产品中。计算机都是依靠程序来运行的。为了编写出能够在计算机上运行良好的程序就必须学习计算机算法的知识。本书用流程图、程序语言等日常生活中经常出现的事物为工具，以图解的形式讲解了算法的相关知识，即使是不具备计算机知识的初学者，也能够轻松理解。
在大数据背景下，现有的经典数据挖掘算法面临计算性能的严峻挑战。本书讨论如何利用量子计算高效解决数据挖掘问题，重点针对关联规则挖掘、主成分分析、岭回归及其在视觉追踪方面的应用等若干重要的数据挖掘问题介绍相应的量子算法，分析它们的复杂度并评估它们相对经典算法的速度优势。本书适合量子算法和数据挖掘相关领域的研究人员使用，也可供感兴趣的读者阅读。
本书给出了计算机系统设计策略三十六计和算法三十六计的研究成果，提出了计算机学科的四种基本的对立统一关系，即四个基本科学问题，包括集分定位、刚柔相摩、供需相应和串并转换。从集分定位出发，在策略三十六计中
青少年信息学(计算机)奥林匹克竞赛培训教程系列丛书是由长期从事青少年信息学奥林匹克竞赛教育、具有丰富竞赛辅导和教学经验的一线教师共同精心编著而成的。 《程序设计与基本算法》是这套丛书的*册。全书共分10章。第1章介绍了Pascal语言程序开发环境；第2～9章介绍了 Pascal语言的各种基本知识，体现了Pascal语言自身的描述能力和编程方法；第10章介绍了程序设计中的基本算法；书末附有部分习题参考答案。为了使学生尽快掌握竞赛的内容和范围，除前两章和第10章外，其余各章特意从近年来全国青少年信息学奥林匹克竞赛试题中精选了若干题目，组成了 典型试题分析 一节的内容。这些试题应用本章所讲内容完全可以解答。 本书深入浅出，思路清晰，不仅能帮助刚刚迈进信息学奥林匹克竞赛大门的选手掌握程序设计的基本知识，还能从启迪思维、开发
随着互联网技术的飞速发展，传统的结构化数据已经无法满足人们对信息处理的要求。尤其是在云计算和物联网高速发展的今天，对管理半结构化数据、大规模信息处理等领域的研究受到越来越多的关注。由于半结构化数据模型
本书以“问题驱动”为导向，结合数据结构课程知识的精华内容，通过学生对日常学习、生活中遇到的典型问题和案例的分析、讨论，引导学生了解数据结构的相关知识，培养学生对算法设计和分析的兴趣，帮助学生了解“计算
本书系统地介绍了算法设计与分析的基本内容，并对讨论的算法进行了详尽分析。全书共8章，内容包括算法基础、基本算法设计和分析技术（分治法、动态规划、贪心法、回溯法和分枝限界法）、图算法以及NP完全性理论。书中以类高级程序设计语言对算法所作的简明描述，使得稍微具有程序设计语言知识的人即可读懂。此外，书中以大量图例说明每个算法的工作过程，使得算法更加易于理解和掌握。 本书可作为高等院校与计算机相关的各专业 算法设计 课程的教材，也可作为计算机领域的相关科研人员的参考书。此外，本书还可供参加ACM程序设计大赛的算法爱好者参考。
随着互联网技术的飞速发展，传统的结构化数据已经无法满足人们对信息处理的要求。尤其是在云计算和物联网高速发展的今天，对管理半结构化数据、大规模信息处理等领域的研究受到越来越多的关注。由于半结构化数据模型
