算法学

前言

致谢

第一部分预备知识

第1章导引和历史回顾

第2章算法和数据

第3章程序设计语言和范型

第二部分方法和分析

第4章算法学方法

第5章算法的正确性

第6章算法的效率

第三部分局限性和健壮性

第7章无效性和难解性

第8章不可计算性和不可判定性

第9章算法学的通用性及其健壮性

第四部分松弛规则

第10章并行、并发及其他模型

第11章概率算法

第12章密码学和可靠交互

第五部分更宏伟蓝图

第13章软件工程

第14章反应式系统

第15章算法学与智能

后记

习题选解

参考书目注释

英汉对照表

　　本书系统地论述了计算机科学的基本概念、思想、方法和结果。全书内容具有一定的广度和深度，内容包括算法学中的基本概念、算法的结构、算法所操纵的数据以及描述算法所用的程序设计语言；图灵机、有限自动机、不可判定性、不可计算性、复杂度、NP完全性；并发模型、并行模型、软件工程、反应式系统、计算机与人工智能之间的关系。　　本书主要论述计算机科学的基本概念、思想、方法和结果。全书内容由5个部分组成。“预备知识”部分包括算法学中的基本概念、算法结构、算法所操纵的数据以及描述算法所用的程序设计语言。“方法和分析”部分包括算法设计的方法、算法的正确性和效率、评价算法的方法。“局限性和健壮性”部分包括可执行算法的固有局限性以及实现这些算法的计算机的固有局限性、不可计算性和不可判定性、算法学的通用性及其健壮性。此外，还讨论了并发模型、并行模型以及密码学中的一些根本性的问题，并且介绍了反应式系统和分布式系统以及计算机与人工智能(humanintelligence)之间的关系。