Algorithm design with Haskell / / Richard Bird, Jeremy Gibbons.

This book is devoted to five main principles of algorithm design: divide and conquer, greedy algorithms, thinning, dynamic programming, and exhaustive search. These principles are presented using Haskell, a purely functional language, leading to simpler explanations and shorter programs than would be obtained with imperative languages. Carefully selected examples, both new and standard, reveal the commonalities and highlight the differences between algorithms. The algorithm developments use equational reasoning where applicable, clarifying the applicability conditions and correctness arguments. Every chapter concludes with exercises (nearly 300 in total), each with complete answers, allowing the reader to consolidate their understanding and apply the techniques to a range of problems. The book serves students (both undergraduate and postgraduate), researchers, teachers, and professionals who want to know more about what goes into a good algorithm and how such algorithms can be expressed in purely functional terms.

Gespeichert in:
Elektronisch E-Book
Bibliographische Detailangaben
Person(en) Bird, Richard, 1943- (verfasst von), Gibbons, Jeremy, 1966- (verfasst von)
Ort, Verlag, Jahr Cambridge : Cambridge University Press , 2020
Umfang1 online resource (xvi, 437 pages) : : digital, PDF file(s).
ISBN1-108-85826-0
1-108-86904-1
SpracheEnglisch
ZusatzinfoTitle from publisher's bibliographic system (viewed on 29 Jun 2020).
ZusatzinfoFunctional programming -- Timing -- Useful data structures -- Binary search -- Sorting -- Selection -- Greedy algorithms on lists -- Greedy algorithms on trees -- Greedy algorithms on graphs -- Introduction to thinning -- Segments and subsequences -- Partitions -- Efficient recursions -- Optimum bracketing -- Ways of searching -- Heuristic search.
Online-ZugangKauf EBS 2023 Cambridge ebooks

Bei Problemen beim Zugriff auf diese Online-Quelle beachten Sie unsere Hinweise zum Zugriff auf lizenzierte Angebote von außerhalb des Campus.