La Théorie des types, de Russell aux assistants à la démonstration

La Théorie des types, de Russell aux assistants à la démonstration
12,00€

Vendu et expédié par : GIBERT

État : Neuf


en stock vendeur

Livraison 0.00€ à domicile dès le 00/00/00



Paiement 100%
sécurisé
Retour possible du
produit
Vendeur sélectionné
par Cultura

Coups de cœur Cultura

Tous les passeurs de culture peuvent partager leurs découvertes !
Tu as aimé ce produit ? Partage dès maintenant ton coup de coeur :

loader
loader
loader
loader
loader
loader
loader
loader

description

descriptif du fournisseur
Introduite par Bertrand Russell pour éviter les paradoxes qui apparaissent en mathématique si l’on utilise de manière trop naïve la notion de collection d’objets, la théorie des types a été raffinée par la notion de type dépendant. Outre son rôle important dans la formalisation des preuves mathématiques, cette notion présente également un intérêt conceptuel intrinsèque en logique et en informatique. Ce livre retrace l’histoire récente de ces découvertes, de la vérification des preuves sur ordinateur à la synergie qui est en train de s’établir entre la théorie des types dépendants et la théorie de l’homotopie.
 
La Théorie des types, de Russell aux assistants à la démonstration

La Théorie des types, de Russell aux assistants à la démonstration

Thierry Coquand

On vous recommande avec votre achat
La Théorie des types, de Russell aux assistants à la démonstration

La Théorie des types, de Russell aux assistants à la démonstration

12,00
+