Avis des lecteurs
Résumé:Dans l'ensemble, le livre est considéré comme une bonne introduction à la théorie des catégories, en particulier pour les informaticiens, avec des explications concises et une variété d'exemples. Cependant, certains lecteurs ont trouvé certains chapitres difficiles à comprendre, et la qualité de l'édition Kindle pose problème.
Avantages:⬤ Donne une bonne vue d'ensemble de la théorie des catégories, en particulier pour les informaticiens.
⬤ Un style d'écriture concis et clair, qui rend la matière accessible.
⬤ Inclut des exemples et des exercices utiles.
⬤ Bon pour la référence et les applications pratiques de la théorie des catégories.
⬤ Commentaires positifs sur l'approche pédagogique et l'organisation.
⬤ Certains chapitres ont été jugés mal rédigés ou confus, en particulier dans les applications avancées (par exemple, le lambda calcul).
⬤ Prix élevé du livre.
⬤ La qualité de l'édition Kindle est médiocre, décrite comme une honte.
⬤ Manque de couverture de certains sujets avancés, tels que les monades, que certains lecteurs considèrent comme essentiels.
(basé sur 19 avis de lecteurs)
Titre original :
Basic Category Theory for Computer Scientists
Contenu du livre :
La théorie des catégories de base pour les informaticiens fournit une présentation directe des constructions de base et de la terminologie de la théorie des catégories, y compris les limites, les foncteurs, les transformations naturelles, les adjoints et les catégories cartésiennes fermées.
La théorie des catégories est une branche des mathématiques pures qui devient un outil de plus en plus important dans l'informatique théorique, en particulier dans la sémantique des langages de programmation, la théorie des domaines et la concurrence, où elle est déjà un langage standard de discours. En supposant un minimum de préparation mathématique, Basic Category Theory for Computer Scientists fournit une présentation directe des constructions de base et de la terminologie de la théorie des catégories, y compris les limites, les foncteurs, les transformations naturelles, les adjoints et les catégories cartésiennes fermées. Quatre études de cas illustrent les applications de la théorie des catégories à la conception de langages de programmation, à la sémantique et à la résolution d'équations récursives de domaine. Une brève étude de la littérature propose des suggestions pour une étude plus approfondie dans des textes plus avancés.
Table des matières.
Tutoriel - Applications - Lectures complémentaires.
Autres informations sur le livre :
| ISBN : | 9780262660716 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 1991 |
| Nombre de pages : | 116 |
Achat:
Actuellement disponible, en stock.
