Bird Richard "Perles de conception d'algorithmes. Sujet fonctionnel"

Aller sur le site internet (page produit) »

Dans le livre, Richard Bird présente une approche fondamentalement nouvelle de la conception d'algorithmes, à savoir la conception par inférence formelle. Le contenu principal du livre est divisé en 30 courts chapitres, appelés perles, dont chacun résout un problème de programmation spécifique. Ces problèmes, dont certains sont complètement nouveaux, proviennent de sources aussi diverses que des jeux et des puzzles, des constructions combinatoires passionnantes et des algorithmes plus traditionnels de compression de données et de correspondance de chaînes. Chaque joyau commence par un énoncé du problème, formulé dans le langage de programmation fonctionnel Haskell, extrêmement puissant mais concis, permettant d'exprimer facilement et simplement des idées algorithmiques. La nouveauté de l'ouvrage est que chaque solution est formellement calculée à partir de la formulation originale du problème en faisant appel aux lois de la programmation fonctionnelle. La publication est destinée aux programmeurs intéressés par la programmation fonctionnelle, aux étudiants, aux étudiants diplômés et aux enseignants intéressés par les principes de conception d'algorithmes, ainsi qu'à toute personne souhaitant acquérir et développer des compétences de raisonnement de style équationnel en relation avec les programmes et les algorithmes.

Aller sur le site internet (page produit) »

Aller sur le site internet (page produit) »

Aller sur le site internet (page produit) »