Illustration

Biographie et livres de David I. Spivak

Découvrez tout l'univers de l'auteur en livre numérique
David I. Spivak is a research scientist in the Department of Mathematics at the Massachusetts Institute of Technology. He has found applications of category theory ranging from database integration to knowledge representation, from materials science to dynamical systems and behaviour. He is the author of two other books in category theory.
Découvrez tous ses livres

Dernière parution

Téléchargez le livre : An Invitation to Applied Category Theory
Ajouter à ma liste d'envies
An Invitation to Applied Category Theory

Brendan Fong , David I. Spivak

Cambridge University Press

2019-07-18

PDF, ePub

Category theory is unmatched in its ability to organize and layer abstractions and to find commonalities between structures of all sorts. No longer the exclusive preserve of pure mathematicians, it is now proving itself to be a powerful tool in...

53,69 €

Lire plus

Tous les ebooks de David I. Spivak en PDF et EPUB


1  résultat(s)
Télécharger le livre : Temporal Type Theory
Ajouter à ma liste d'envies

Temporal Type Theory

Patrick Schultz , David I. Spivak

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system...

Parution : 2019-01-29
Format(s) : PDF, ePub
Éditeur : Birkhäuser
Collection : Progress in Computer Science and Applied Logic
J'achète
109,99 €

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés