Note :
Ce livre est une ressource d'introduction à la théorie des catégories hautement recommandée, en particulier pour ceux qui ont une formation en informatique. Il permet de mieux comprendre les concepts de la théorie des catégories et leur application en informatique théorique. L'auteur apprécie le format concis et la nature accessible du contenu.
Avantages:⬤ Bien écrit et accessible aux débutants
⬤ fait efficacement le lien entre la théorie des catégories et l'informatique
⬤ la longueur concise (130 pages) permet une consommation facile
⬤ encourage la lecture active et l'engagement par le biais d'annotations
⬤ améliore la compréhension des concepts de la théorie des catégories.
Ne s'adresse pas spécifiquement aux informaticiens, ce qui peut rendre certaines sections difficiles ; certaines parties plus techniques peuvent être ignorées ou difficiles pour les novices.
(basé sur 1 avis de lecteurs)
Theoretical Computer Science for the Working Category Theorist
Cet élément présente le matériel habituel enseigné dans un cours d'un an d'informatique théorique en utilisant le langage intuitif et la méthodologie de la théorie des catégories.
Parfait pour les étudiants ou les professionnels travaillant dans le domaine de l'informatique, de la physique ou des mathématiques.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)