本书是 逻辑与形而上学教科书系列 中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识,以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题,其中包括希尔伯特第十问题(丢番图整数解判定问题)的否定性结果(即马季亚谢维奇定理)和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中,读者可以找到递归论中经典的构造技巧 尾节扩张(算术力迫)和有穷损害优先方法。第五章简单介绍了递归论的当前热点 算法随机性理论的基本概念,其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材,以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递
随着复杂网络研究的深入发展和研究领域的不断 扩展,其应用日益广泛。近年来各类数学建模竞赛中 ,基于复杂网络的题目层出不穷,但目前大部分数学 建模书籍中都没有涉及复杂网络的相关内容,而复杂 网络方面的专著偏重于基础理论和方法,涉及算法程 序实现的很少。 将基本理论和计算机算法实现相结合正是本书编 写的初衷。孙玺菁、司守奎编著的《复杂网络算法与 应用》共计9章,主要涉及复杂网络静态特征,各种 网络模型,复杂网络上的传播模型和动力学分析,复 杂网络上的同步研究,复杂网络中的搜索策略,复杂 网络中的社团结构,网络层次分析法,网络博弈论。 基于Matlab给出了作者自主编写的函数和程序,并对 书中出现的大部分例题配备了程序,便于学生从理论 和求解两个角度入手学习复杂网络的相关理论,在学 习中举一反三、
在我们生活的世界中,各种各样形形色色的事物和现象,其中都必定包含着科学的成分。在这些成分中,有些是你所熟知的,有些是你未知的,有些是你还一知半解的。面对未知的世界,好奇的你是不是有很多疑惑、不解和期待呢?!“形形色色的科学”趣味科普丛书,把我们身边方方面面的科学知识活灵活现、生动有趣地展示给你,让你在畅快阅读中收获这些鲜活的科学知识!《BR》 21世纪,飞速发展的计算机技术深入到手机、电视、数码相机、游戏机等的生活产品中。计算机都是依靠程序来运行的。为了编写出能够在计算机上运行良好的程序就必须学习计算机算法的知识。本书用流程图、程序语言等日常生活中经常出现的事物为工具,以图解的形式讲解了算法的相关知识,即使是不具备计算机知识的初学者,也能够轻松理解。
很优化问题一直是计算机科学、人工智能和管理决策等领域广泛关注的一个问题。本书由浅入深地介绍了粒子群优化算法、差分进化算法、混洗蛙跳算法、人工蜂群优化算法、果蝇优化算法、人工免疫优化算法和量子衍生进化算
本书以作者在厦门大学完成的博士学位论文的部分研究成果,以及后续相关研究为主要取材,聚焦大数据分析的关键问题---属性约简,详细阐释了作者提出的计算大型决策系统的所有最小属性约简的独特方法。 此外,该
计算机在解题的过程中,无论是形成解题思路还是编写程序,都是在实施某种算法,本书对计算机算法的理论与应用进行了深入分析,首先阐述了计算机算法基础知识,而后分别论述了计算机神经网络算法与应用、数据挖掘算法与应用、MATLAB算法与应用、工程图形算法与应用、数字视频图像处理算法与应用、智能算法与应用、蚁群算法及其应用、群体智能算法及其应用、高维多目标进化算法与应用及视觉算法在智能车中的应用,很后分析了网络环境下计算机的安全性问题。本书可供计算机科学等相关专业本科生、研究生阅读,也可供从事计算机算法设计、分析与应用工作的教师与研究人员参考。