Medias
Vers la perfection
Soyez le premier à donner votre avis
Ce cours de théorie de la démonstration s'adresse aux mathématiciens, informaticiens, physiciens, mais également philosophes et linguistes. Il propose trois grandes parties : Les bases (existence contre essence, le théorème d'incomplétude...) ; Autour de Curry-Howard (interprétations fonctionnelles, le système F...) ; La logique linéaire (espaces cohérents, perfection et imperfection...).
Livre numérique - PDF
Protection Adobe DRM
Spécifications techniques
Date de sortie | 07 juillet 2006 |
Langue | Français |
Éditeur | HERMANN |
Collection | Le point aveugle : cours de lo |
Composition | Contient un seul article |
Support | Livre imprimé à couverture souple |
Mesure | 21.0 cm (Hauteur), 15 cm (Largeur), 362 gr (Poids) |
Accessibilité | Aucune information disponible concernant l'accessibilité pour le format Papier Aucune information disponible concernant l'accessibilité pour le format PDF |