本书是 逻辑与形而上学教科书系列 中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识,以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题,其中包括希尔伯特第十问题(丢番图整数解判定问题)的否定性结果(即马季亚谢维奇定理)和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中,读者可以找到递归论中经典的构造技巧 尾节扩张(算术力迫)和有穷损害优先方法。第五章简单介绍了递归论的当前热点 算法随机性理论的基本概念,其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材,以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递
随着复杂网络研究的深入发展和研究领域的不断 扩展,其应用日益广泛。近年来各类数学建模竞赛中 ,基于复杂网络的题目层出不穷,但目前大部分数学 建模书籍中都没有涉及复杂网络的相关内容,而复杂 网络方面的专著偏重于基础理论和方法,涉及算法程 序实现的很少。 将基本理论和计算机算法实现相结合正是本书编 写的初衷。孙玺菁、司守奎编著的《复杂网络算法与 应用》共计9章,主要涉及复杂网络静态特征,各种 网络模型,复杂网络上的传播模型和动力学分析,复 杂网络上的同步研究,复杂网络中的搜索策略,复杂 网络中的社团结构,网络层次分析法,网络博弈论。 基于Matlab给出了作者自主编写的函数和程序,并对 书中出现的大部分例题配备了程序,便于学生从理论 和求解两个角度入手学习复杂网络的相关理论,在学 习中举一反三、
本书系统地介绍了各种常用的数据结构与算法方面的基本知识,并使用C语言描述其算法,详细介绍了数据结构的C语言表示,及其在C语言程序中的应用,从而使学生在深刻理解和掌握数据结构的基础上,灵活运用C语言知识解决实际问题。 全书共8章,章介绍了数据结构与算法的一些基本概念;第2~6章分别讨论了线性表、栈和队列、串、树和二叉树、图等常用的数据结构及其应用;第7章和第8章分别介绍了查找和排序,它们都是广泛使用的数据处理技术。全书配有大量的例题和详尽的注释,各章都有不同类型的习题和实验,并配有可执行的C语言程序代码。本书的附录给出了各章习题答案与详解。 本书可作为应用型本科院校理工科相关专业学生的教材,也可作为高职高专和成人教育的教材,还可作为高等学校计算机专业硕士研究生入学考试的复习用书,对从事计算机