內容簡介
本書專門介紹了算法設計的五項主要原則:分而治之、貪心算法、減而治之、動態規劃和窮舉搜索。這些原則是用Haskell這種純函數式語言來闡述的,與使用命令式語言相比,解釋更簡單,程序更短。書中還配有精心挑選的例子(既有新示例,也有標準示例),展示了算法之間的共性和差異。算法開發在適用的情況下使用等式推理,闡明適用性條件和正確性論證。每章最後都附有習題(共近300道),每道習題都有完整的答案,便於讀者鞏固理解,並將這些技術應用於一系列問題。 本書適用於計算機科學與技術及軟體工程相關專業學生(包括本科生和研究生)、研究人員、教師和專業人士,可以幫助他們進一步了解如何設計和實現優秀的算法,以及如何用純函數術語來表達這些算法。作者簡介
理查德·伯德(Richard Bird)牛津大學計算機實驗室的榮譽退休教授,牛津大學林肯學院的研究員。他的著述頗豐,包括《Algebra of Programming》(Prentice Hall,1996)和《Pearls Of Functional ALgorithm Design》(Cambridge University Press,2010)。目錄
譯者序