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

本书在简要介绍网络安全、IPSec VPN和国密算法的基础上，探讨了国密算法在IPSec VPN技术中的应用，并结合安徽省国资委的实际需求，提出了相应的网络拓扑设计方案。通过使用国密SM1、SM2、S

计算机在解题的过程中，无论是形成解题思路还是编写程序，都是在实施某种算法，本书对计算机算法的理论与应用进行了深入分析，首先阐述了计算机算法基础知识，而后分别论述了计算机神经网络算法与应用、数据挖掘算法与应用、MATLAB算法与应用、工程图形算法与应用、数字视频图像处理算法与应用、智能算法与应用、蚁群算法及其应用、群体智能算法及其应用、高维多目标进化算法与应用及视觉算法在智能车中的应用，很后分析了网络环境下计算机的安全性问题。本书可供计算机科学等相关专业本科生、研究生阅读，也可供从事计算机算法设计、分析与应用工作的教师与研究人员参考。

内容简介： 优化问题一直是计算机科学、人工智能和管理决策等领域广泛关注的一个问题。《智能进化算法概述及应用》由浅入深地介绍了粒子群优化算法、差分进化算法、混洗蛙跳算法、人工蜂群优化算法、果蝇优化算法、人工免疫优化算法和量子衍生进化算法及其相关应用，力求帮助读者能较容易地应用智能进化算法解决相应的问题。

协同进化算法是通过模拟大自然生态进化中的协 同进化现象而提出的仿生优化算法，是进化计算的一个新的重要分支 。李碧、郝志峰编写的这本《协同进化算法及其应用 》分为6章，分别简要介绍进化计算的发展和主要分支，阐述进化 计算理论分析的含 义和主要分析工具，综述协同进化算法的产生和发展 ，分析协同进化算法的实质，提出一种新的协同进化算法框架，并在此 框架下实现两种算 法，重点探讨协同进化算法在函数优化与图像矢量量 化中的应用。 《协同进化算法及其应用》可作为计算机科学与 技术、控制科学与工程及其相关专业的高年级本科生、研究生的参考书，也可供计算智能领 域的相关教学科 研人员和工程技术人员参考。

本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。第一章介绍了图灵机、递归、递归可枚举等概念以及相关

朱旭振编著的《基于链路预测的推荐系统--原理模型与算法/十三五科学技术专著丛书》从复杂网络角度出发，研究基于相似性链路预测的协作推荐算法。本书主要面向广大的推荐算法研究者，希望能通过本书的介绍，帮助更