Le miroir mou des Bolkodaz

Résumé : Ce livre d'exercices corrigés est destiné aussi bien aux étudiants de premier cycle en informatique qu'aux enseignants intéressés par la programmation fonctionnelle. L'ouvrage aborde notamment les notions de correction, de complexité et d'efficacité d'un algorithme fonctionnel, à travers les solutions détaillées d'une quarantaine d'exercices. Pour chacun de ces exercices, plusieurs solutions sont systématiquement proposées. Pour chaque solution, une analyse des temps de calcul et une preuve de correction sont entièrement rédigées. Les exercices traités sont classés en plusieurs catégories en fonction de la nature des données qu'ils manipulent : entiers, listes, arborescences. Cette distinction permet de mettre en avant un mode de programmation et de raisonnement guidé par la structure des données, si naturel en programmation fonctionnelle. Si les exercices proposés peuvent sembler simples et classiques au premier abord, ils ont été choisis pour permettre, par l'étude de leurs solutions, une découverte en profondeur de la programmation fonctionnelle, ce qui constitue l'originalité du livre.

Au chenil où Pouët est né, les autres chiens, costauds et optimistes, ont vite trouvé preneurs. Mais lui a dû attendre longtemps qu?un maître vienne le chercher. C?est le fermier Martin. Pouët, éperdu de reconnaissance, cherche comment lui plaire, comment le servir. Comme le fermier n?exige rien, Pouët essaie tout. Courir après les vaches? Ramener les poules entre ses dents? Embêter le Vieux Cheval? Et si ce qu?attendait le fermier Martin était bien plus simple et moins fatigant?

Résumé : Bienvenue sous le grand chapiteau de Monsieur et Madame Bolkodaz ! Découvrez sa ménagerie et son troupeau de bêtes sauvages. Tremblez de peur face à la terreur de la jungle, la terrible panthère Tralala ! Rêvez d?enfourcher le cheval qui parle, admirez les oiseaux perchés sur des baleines? de parapluie. Dans ce cirque-là, vous verrez des acrobates faire des pirouettes autour d?une girouette et un dompteur lilliputien se laisser guider par un drôle de Petit Poucet.