本书是 逻辑与形而上学教科书系列 中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定性结果（即马季亚谢维奇定理）和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中，读者可以找到递归论中经典的构造技巧 尾节扩张（算术力迫）和有穷损害优先方法。第五章简单介绍了递归论的当前热点 算法随机性理论的基本概念，其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材，以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递

随着复杂网络研究的深入发展和研究领域的不断 扩展，其应用日益广泛。近年来各类数学建模竞赛中 ，基于复杂网络的题目层出不穷，但目前大部分数学 建模书籍中都没有涉及复杂网络的相关内容，而复杂 网络方面的专著偏重于基础理论和方法，涉及算法程 序实现的很少。 将基本理论和计算机算法实现相结合正是本书编 写的初衷。孙玺菁、司守奎编著的《复杂网络算法与 应用》共计9章，主要涉及复杂网络静态特征，各种 网络模型，复杂网络上的传播模型和动力学分析，复 杂网络上的同步研究，复杂网络中的搜索策略，复杂 网络中的社团结构，网络层次分析法，网络博弈论。 基于Matlab给出了作者自主编写的函数和程序，并对 书中出现的大部分例题配备了程序，便于学生从理论 和求解两个角度入手学习复杂网络的相关理论，在学 习中举一反三、

在我们生活的世界中，各种各样形形色色的事物和现象，其中都必定包含着科学的成分。在这些成分中，有些是你所熟知的，有些是你未知的，有些是你还一知半解的。面对未知的世界，好奇的你是不是有很多疑惑、不解和期待呢？！“形形色色的科学”趣味科普丛书，把我们身边方方面面的科学知识活灵活现、生动有趣地展示给你，让你在畅快阅读中收获这些鲜活的科学知识！《BR》 21世纪，飞速发展的计算机技术深入到手机、电视、数码相机、游戏机等的生活产品中。计算机都是依靠程序来运行的。为了编写出能够在计算机上运行良好的程序就必须学习计算机算法的知识。本书用流程图、程序语言等日常生活中经常出现的事物为工具，以图解的形式讲解了算法的相关知识，即使是不具备计算机知识的初学者，也能够轻松理解。

本书是一本讲解前端程序员面试笔试真题的书籍，在写法上，除了讲解如何解答算法问题以外，还引入了示例辅以说明，让读者能够更容易理解。 本书将程序员面试笔试过程中各类算法类真题一网打尽，在题目的广度上，通过各种渠道，搜集了近3年来典型IT企业面试笔试算法高频题目，所选择题目均为企业招聘使用题目。在题目的深度上，本书由浅入深，详细分析每一个题目，并提炼归纳。同时，引入例子与源代码、时间复杂度与空间复杂度的分析，而这些内容是其他同类书籍所没有的。本书根据真题所属知识点进行分门别类，结构合理、条理清晰，对于读者进行学习与检索意义重大。 本书是一本计算机相关专业毕业生面试笔试的求职用书，也可以作为本科生、研究生学习数据结构与算法的辅导书籍，同时也适合期望在计算机软硬件行业大显身手的计算机爱好者

信息隐藏是一种重要的信息安全技术。柏森、朱 桂斌、曹玉强编著的《信息隐藏算法及应用》全面介 绍了信息隐藏及其对抗技术的基本概念、分类、经典 算法及其在隐密通信、篡改认证、电子印章等方面的 应用。全书共分10章，第1章概要介绍了信息隐藏的 基本概念、主要分支、主要特性。第2章介绍了信息 隐藏相关的基础知识。第3、4、5章分别介绍了以图 像、视频和音频为载体的信息隐藏算法。第6章介绍 了其他媒体中的一些信息隐藏算法。第7、8、9章分 别介绍了图像、视频和音频中的隐密分析算法。第10 章主要介绍了信息隐藏的一些应用方法和应用系统。 本书可作为计算机应用、通信与信息系统、信号 与信息处理、信息安全与密码学专业的研究生和高年 级本科生教材，也可供从事信息安全研究及应用的学 者、技术人员参考。

物联网、人工智能、大数据解析和机器人工学等，日新月异的科学技术每天都在给人类的生活带来重要的变化。身处这样的一个时代，我们面临一个选择，即怎样面对日新月异的科学技术的发展。在这样的变化中，是作为被动的一方，还是成为主动的一方，抑或是站在时代的前端成为创造的一方？这将取决于我们的选择。只要我们不想成为被动的一方，掌握编程的基本技能就是必不可少的。 本书从讲解学习编程的益处出发，向读者介绍了*好的学习编程的方法。紧接着，介绍了主要编程工具的概要和特点，包括 编程一小时 点灯机器人 Scratch 编码猴 等编程工具。了解这些编程工具后，书中又教读者使用 Scratch 从头到尾制作了一个游戏，从而提高他们的编程技能。*后，作者分析了各编程语言的特点，并为读者学习编程提供了真正有益的指导。本书讲解由浅入深，

本书是*高等教育司大学计算机课程改革项目“理工类高校计算思维与大学计算机课程研究与教材建设”的成果之一。本书兼顾程序设计语言和算法的学习，在介绍C++语言的程序设计方法的基础上，采用C++程序设计语言描述算法。 全书共12章，分为上下篇。上篇讲述高级语言程序设计基础；下篇在介绍算法设计及算法的性能度量后，介绍C++语言描述的典型数据结构和经典算法的设计与分析技术。 本书内容由浅入深、循序渐进、案例丰富、通俗易懂、实用性强，可作为高等学校理工类计算机及相关专业学生的教材，也可供从事程序设计的工程人员参考。

计算机技术和互联网技术的迅速发展，使得网络上的网站、网页等各种信息以爆炸性的趋势增长，随之而来的还有大量的冗余信息和垃圾信息，并由此带来了信息泛滥、信息迷航以及信息疾病等一系列问题。这些冗余信息、垃圾信息不但影响着用户对Internet的使用效率和质量，同样影响着网络的健康发展。因此，基于此而产生的网络信息过滤技术相关研究具有巨大的社会效益和经济效益。 网络信息过滤，就是根据用户的信息需求，利用一定的工具从大规模的动态信息流中自动筛选出满足用户需求的信息，同时屏蔽掉无用的信息的过程。广义的信息过滤包括对文本、音频、图像、视频等多种信息存在形式的过滤处理，狭义的信息过滤是特指对文本信息的过滤处理。本书相关研究就是针对文本信息过滤特别是中文文本信息过滤中存在的问题而提出的。 本书面向从事自

算法设计与问题求解

本书将货物重量在容器中的均衡分布作为货物装载优化布局的前提，以装载空间与能力*化为优化目标，建立平衡装载布局问题的数学模型，设计相应的布局方法。重点探讨一车多件货物平衡装载、多车多件货物平衡装载、带轴重约束平衡装载、带集重约束平衡装载和多阶段带时间约束装载布局问题。