新计算范例

Ｓ．Ｂ．库珀等　　编

近年来，经典的可计算性已被扩展到处理与代数、分析和物理学中可计算性和复杂性相关的问题。本书以数学的观点研究了计算理论和实践的新发展，涉及的课题范围从经典的可计算性到复杂性，从生物计算到量子计算。

本书共有19篇论文，分成四个部分。第一部分，计算的图灵模型及其对逻辑、数学、哲学和计算机科学的应用，1.Kleene-kreisel密度理论对理论计算机科学的应用；2.借助域表示的拓扑空间可计算性；第二部分，逻辑、算法与复杂性，3.算法信息理论中的有效分形维数；第三部分，出自自然的计算模型，4.从细胞到(硅)计算机；5.计算机科学、信息学及自然计算：个人见解；第四部分，可计算分析与实际计算，6.实值函数的连续微分；7.无限时间可计算模型理论。

本书特别适合于对逻辑和基础问题感兴趣的数学、哲学和计算机科学专业的研究人员阅读。对研究生而言，最有用的是关于可计算分析和生物计算的综述论文。逻辑学家及理论物理学家也会从本书受益。