本书论述了计算机科学中的基本概念、思想、方法和结果。全书内容由五部分组成。基础部分包括算法学问题中的基本概念，算法的结构、算法操纵的数据以及描述算法所用的程序设计语言。方法和分析部分包括算法设计的方法，算法的正确性和效率，评价算法的方法。算法的局限性和健壮性部分包括有效可执行算法的固有局限性以及实现这些算法的计算机的固有局限性，不可计算性和不可判定性，算法学的通用性及其健壮性。此外还讨论了并发模型、并行模型，以及密码学中的一些根本性的问题。介绍了反应式系统和分布式系统，计算机与人的智能（human intelligence）的关系。 这是一本从全新的视角，系统地阐述计算机科学中的根本问题的书籍。通过形象的比喻描述算法和计算理论中的一些挑战性的问题。书中力图用少的数学语言阐述算法和数据结构、图灵机，有限自动机，不可判定性，不可计算性，复杂性，NP完全性，并行算法，概率算法等概念，同时又不失严谨性。这本书非常成功地做到了这一点。使一般读者易于理解和掌握。 本书适合作为高等院校计算机专业本科生和研究生算法学课程的教材，也可作为从事软件开发、系统分析、系统设计的专业人员的参考书。此外，算法和计算理论的爱好者和参加各种程序大赛的选手也可把本书作为参考用书。

导语_点评_推荐词 

序言