Avis des lecteurs
Résumé:Le livre fournit une introduction complète aux mathématiques discrètes à travers la lentille de la programmation Haskell, rendant les concepts mathématiques abstraits plus accessibles aux programmeurs. Cependant, il est à noter que l'accent est fortement mis sur les mathématiques, parfois au détriment d'un contenu Haskell plus approfondi. Bien qu'il soit très apprécié pour sa clarté et sa structure, certains lecteurs pourraient le trouver difficile s'ils n'ont pas de connaissances préalables en programmation ou en logique formelle.
Avantages:⬤ Éclairant pour ceux qui ont des connaissances en programmation
⬤ contenu mathématique rigoureux
⬤ utilisation efficace de Haskell pour illustrer les concepts mathématiques
⬤ style d'écriture accessible
⬤ bénéfique comme ressource d'auto-apprentissage
⬤ encourage la compréhension des preuves par le biais d'exercices.
⬤ Ne convient pas aux débutants en programmation ou en mathématiques
⬤ trop axé sur le formalisme mathématique par moments
⬤ nécessite des ressources Haskell supplémentaires pour une compréhension complète
⬤ quelques problèmes d'impression avec la taille de la police et la mise en page
⬤ présence d'erreurs mineures qui pourraient perturber le processus d'apprentissage.
(basé sur 25 avis de lecteurs)
Titre original :
The Haskell Road to Logic, Maths and Programming. Second Edition
Contenu du livre :
Il y a bien longtemps, lorsque Alexandre le Grand demanda au mathématicien Menaechmus de lui donner un cours accéléré de géométrie, il reçut la célèbre réponse suivante : "Il n'y a pas de voie royale vers les mathématiques". S'il n'y avait pas de raccourci pour Alexandre, il n'y en a pas non plus pour nous.
Néanmoins, le fait que nous ayons accès à des ordinateurs et à des langages de programmation sophistiqués signifie qu'il existe pour nous des voies qui étaient interdites aux rois et aux empereurs d'antan. L'objectif de ce livre est d'enseigner la logique et le raisonnement mathématique dans la pratique, et de relier le raisonnement logique à la programmation informatique en Haskell. Haskell est apparu dans les années 1990 comme un standard pour la programmation fonctionnelle paresseuse, un style de programmation où les arguments ne sont évalués que lorsque la valeur est réellement nécessaire.
Haskell est un merveilleux outil de démonstration pour la logique et les mathématiques, car son caractère fonctionnel permet aux implémentations de rester très proches des concepts mis en œuvre, tandis que la paresse permet de manipuler en douceur des structures de données infinies. Ce livre ne suppose pas que le lecteur ait une expérience préalable de la programmation ou de la construction de preuves formelles, mais une connaissance de la notation mathématique, au niveau des mathématiques de l'enseignement secondaire, est présumée. Tout ce qu'il faut savoir sur le raisonnement mathématique ou la programmation est expliqué au fur et à mesure.
Après avoir bien assimilé le contenu de ce livre, le lecteur sera capable d'écrire des programmes intéressants, de raisonner sur leur correction et de les documenter de façon claire. Le lecteur aura également appris à mettre en place des preuves mathématiques de manière structurée, et à lire et assimiler des preuves mathématiques écrites par d'autres. Il s'agit de la deuxième édition mise à jour, augmentée et corrigée d'un manuel très apprécié.
Éloge de la première édition : "The Haskell Road to Logic, Maths and Programming" de Doets et van Eijck est un manuel étonnamment complet et accessible sur la logique, les mathématiques et Haskell. Ralf Laemmel, professeur d'informatique à l'université de Coblence-Landau.
Autres informations sur le livre :
| ISBN : | 9780954300692 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
