Titre original :
Domain-Specific Languages of Mathematics
Contenu du livre :
L'idée principale de ce livre est d'encourager les lecteurs à aborder.
Les domaines mathématiques du point de vue de la programmation fonctionnelle :
Identifier les principales fonctions et types impliqués et, si nécessaire,.
Introduire de nouvelles abstractions ; donner des preuves calculatoires ; prêter attention à la syntaxe des expressions mathématiques.
Prêter attention à la syntaxe des expressions mathématiques ; et, enfin,.
Organiser les fonctions et les types résultants dans des langages spécifiques au domaine.
Ce livre est recommandé aux développeurs qui apprennent les mathématiques et qui.
aimeraient utiliser Haskell pour donner un sens aux définitions et aux théorèmes. Il.
Est également un livre pour les personnes intéressées par les mathématiques et qui souhaitent explorer.
La programmation fonctionnelle et les langages spécifiques à un domaine. Le livre aide à mettre.
Le livre aide à mettre en perspective les domaines des mathématiques et de la programmation fonctionnelle.
Et montre comment l'informatique et les mathématiques peuvent être enseignées ensemble.
Autres informations sur le livre :
| ISBN : | 9781848903883 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
