算法學：計算精髓(第3版)(翻譯版)（簡體書）

《算法學——計算精髓》主要論述計算機科學的基本概念、思想、方法和結果。全書內容由 5個部分組成。“預備知識”部分包括算法學中的基本概念、算法結構、算法所操縱的數據以及描述算法所用的程序設計語言。“方法和分析”部分包括算法設計的方法、算法的正確性和效率、評價算法的方法。“局限性和健壯性”部分包括可執行算法的固有局限性以及實現這些算法的計算機的固有局限性、不可計算性和不可判定性、算法學的通用性及其健壯性。此外，還討論了并發模型、並行模型以及密碼學中的一些根本性的問題，并且介紹了反應式系統和分布式系統以及計算機與人工智能(human intelligence)之間的關係。
這是唯一一本從全新的視角來系統地闡述計算機科學中根本問題的書籍。通過形象的比喻來描述算法和計算理論中的一些富有挑戰性的問題。《算法學——計算精髓》力圖用最精煉的數學語言闡述算法和數據結構、圖靈機、有限自動機、不可判定性、不可計算性、復雜度、NP完全性、並行算法、概率算法等概念，同時又不失論述的嚴謹性，使一般讀者易于理解和掌握。
《算法學——計算精髓》適合作為高等學校計算機專業本科高年級和研究生“算法學”課程的教材，也可作為從事軟件開發、系統分析、系統設計等專業人員的參考書。此外，也可供算法和計算理論的愛好者和參加各種編程大賽的選手參考使用。

霍紅衛，博士。現為西安電子科技大學計算機學院教授。主要研究方向：算法設計與分析、並行與分布式算法、進化算法、隨機算法、圖算法、因特網算法、包／流分類算法以及生物信息學中的優化算法等。出版多部算法方面的著作和譯著。發表算法相關的論文50余篇。主持過國家自然科學基金、國家預研、國內大型通信公司的多項科研項目。

前言
致謝

第一部分 預備知識
　第1章 導引和歷史回顧
　第2章 算法和數據
　第3章 程序設計語言和范型

第二部分 方法和分析
　第4章 算法學方法
　第5章 算法的正確性
　第6章 算法的效率

第三部分 局限性和健壯性
　第7章 無效性和難解性
　第8章 不可計算性和不可判定性
　第9章 算法學的通用性及其健壯性

第四部分 松弛規則
　第10章 並行、并發及其他模型
　第11章 概率算法
　第12章 密碼學和可靠交互

第五部分 更宏偉藍圖
　第13章 軟件工程
　第14章 反應式系統
　第15章 算法學與智能
後記
習題選解
參考書目注釋
英漢對照表