Algorithm Design with Haskell

Algorithm Design with Haskell

Author: Richard Bird

Publisher: Cambridge University Press

Published: 2020-07-09

Total Pages: 455

ISBN-13: 1108858260

DOWNLOAD EBOOK

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.


Functional and Logic Programming

Functional and Logic Programming

Author: Oleg Kiselyov

Publisher: Springer

Published: 2016-02-22

Total Pages: 265

ISBN-13: 3319296043

DOWNLOAD EBOOK

This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of their correctness.


Algorithm Design with Haskell

Algorithm Design with Haskell

Author: Richard Bird

Publisher: Cambridge University Press

Published: 2020-07-09

Total Pages: 454

ISBN-13: 1108491618

DOWNLOAD EBOOK

Ideal for learning or reference, this book explains the five main principles of algorithm design and their implementation in Haskell.


Global Supply Chain and Operations Management

Global Supply Chain and Operations Management

Author: Dmitry Ivanov

Publisher: Springer Nature

Published: 2021-11-19

Total Pages: 673

ISBN-13: 3030723313

DOWNLOAD EBOOK

The third edition of this textbook comprehensively discusses global supply chain and operations management (SCOM), combining value creation networks and interacting processes. It focuses on operational roles within networks and presents the quantitative and organizational methods needed to plan and control the material, information, and financial flows in supply chains. Each chapter begins with an introductory case study, while numerous examples from various industries and services help to illustrate the key concepts. The book explains how to design operations and supply networks and how to incorporate suppliers and customers. It examines how to balance supply and demand, a core aspect of tactical planning, before turning to the allocation of resources to meet customer needs. In addition, the book presents state-of-the-art research reflecting the lessons learned from the COVID-19 pandemic, and emerging, fast-paced developments in the digitalization of supply chain and operations management. Providing readers with a working knowledge of global supply chain and operations management, with a focus on bridging the gap between theory and practice, this textbook can be used in core, specialized, and advanced classes alike. It is intended for a broad range of students and professionals in supply chain and operations management.


Across the Board

Across the Board

Author: John J. Watkins

Publisher: Princeton University Press

Published: 2011-09-19

Total Pages: 270

ISBN-13: 1400840929

DOWNLOAD EBOOK

Across the Board is the definitive work on chessboard problems. It is not simply about chess but the chessboard itself--that simple grid of squares so common to games around the world. And, more importantly, the fascinating mathematics behind it. From the Knight's Tour Problem and Queens Domination to their many variations, John Watkins surveys all the well-known problems in this surprisingly fertile area of recreational mathematics. Can a knight follow a path that covers every square once, ending on the starting square? How many queens are needed so that every square is targeted or occupied by one of the queens? Each main topic is treated in depth from its historical conception through to its status today. Many beautiful solutions have emerged for basic chessboard problems since mathematicians first began working on them in earnest over three centuries ago, but such problems, including those involving polyominoes, have now been extended to three-dimensional chessboards and even chessboards on unusual surfaces such as toruses (the equivalent of playing chess on a doughnut) and cylinders. Using the highly visual language of graph theory, Watkins gently guides the reader to the forefront of current research in mathematics. By solving some of the many exercises sprinkled throughout, the reader can share fully in the excitement of discovery. Showing that chess puzzles are the starting point for important mathematical ideas that have resonated for centuries, Across the Board will captivate students and instructors, mathematicians, chess enthusiasts, and puzzle devotees.


Logic Programming and Nonmonotonic Reasoning

Logic Programming and Nonmonotonic Reasoning

Author: Francesco Calimeri

Publisher: Springer

Published: 2015-09-14

Total Pages: 587

ISBN-13: 3319232649

DOWNLOAD EBOOK

This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. The 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.


Essays and Surveys in Global Optimization

Essays and Surveys in Global Optimization

Author: Charles Audet

Publisher: Springer Science & Business Media

Published: 2005-12-05

Total Pages: 294

ISBN-13: 0387255702

DOWNLOAD EBOOK

Global optimization aims at solving the most general problems of deterministic mathematical programming: to find the global optimum of a nonlinear, nonconvex, multivariate function of continuous and/or integer variables subject to constraints which may be themselves nonlinear and nonconvex. In addition, once the solutions are found, proof of its optimality is also expected from this methodology. Therefore, with these difficulties in mind, global optimization is becoming an increasingly powerful and important methodology. Essays and Surveys in Global Optimization is the most recent examination of its mathematical capability, power, and wide ranging solutions to many fields in the applied sciences.


Pearls of Functional Algorithm Design

Pearls of Functional Algorithm Design

Author: Richard Bird

Publisher: Cambridge University Press

Published: 2010-09-16

Total Pages:

ISBN-13: 1139490605

DOWNLOAD EBOOK

Richard Bird takes a radical approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Each pearl starts with the statement of the problem expressed using the functional programming language Haskell, a powerful yet succinct language for capturing algorithmic ideas clearly and simply. The novel aspect of the book is that each solution is calculated from an initial formulation of the problem in Haskell by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style.