《算法学 计算精髓 the spirit of computing》PDF下载

  • 购买积分:15 如何计算积分?
  • 作  者:(英)David Harel,(英)Yishai Feldman著;霍红卫译
  • 出 版 社:北京:高等教育出版社
  • 出版年份:2007
  • ISBN:7040216817
  • 页数:479 页
图书介绍:本书论述了计算机科学中的基本概念、思想、方法和结果。全书内容由五部分组成。基础部分包括算法学问题中的基本概念,算法的结构、算法操纵的数据以及描述算法所用的程序设计语言。方法和分析部分包括算法设计的方法,算法的正确性和效率,评价算法的方法。算法的局限性和健壮性部分包括有效可执行算法的固有局限性以及实现这些算法的计算机的固有局限性,不可计算性和不可判定性,算法学的通用性及其健壮性。此外还讨论了并发模型、并行模型,以及密码学中的一些根本性的问题。介绍了反应式系统和分布式系统,计算机与人的智能(humanintelligence)的关系。这是唯一一本从全新的视角,系统地阐述计算机科学中的根本问题的书籍。通过形象的比喻描述算法和计算理论中的一些挑战性的问题。书中力图用最少的数学语言阐述算法和数据结构、图灵机,有限自动机,不可判定性,不可计算性,复杂性,NP完全性,并行算法,概率算法等概念,同时又不失严谨性。这本书非常成功地做到了这一点。使一般读者易于理解和掌握。本书适合作为高等院校计算机专业本科生和研究生算法学课程的教材,也可作为从事软件开发、系统分析、系统设计的专业人员的参考书。此外,算法和计

第一部分 预备知识 1

第1章 导引和历史回顾 3

第2章 算法和数据 14

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

第二部分 方法和分析 65

第4章 算法学方法 67

第5章 算法的正确性 82

第6章 算法的效率 106

第三部分 局限性和健壮性 131

第7章 无效性和难解性 133

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

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

第四部分 松弛规则 213

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

第11章 概率算法 247

第12章密 码学和可靠交互 263

第五部分 更宏伟蓝图 279

第13章 软件工程 281

第14章 反应式系统 296

第15章 算法学与智能 314

后记 333

习题选解 334

参考书目注释 369

英汉对照表 433