GEOTRUST SSL CERTIFICATE
| Titre : | Le point aveugle : cours de logique |
| Titre de série : | point aveugle, 1 |
| Auteurs : | Jean-Yves Girard, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Hermann, 2006 |
| Collection : | Visions des sciences |
| ISBN/ISSN/EAN : | 978-2-7056-6633-0 |
| Format : | XII-280 p. / 21 x 15 cm |
| Note générale : |
Bibliogr. Index |
| Langues: | Français |
| Index. décimale : | 511 (Logique mathématique, Jeux mathématiques) |
| Mots-clés: | logique mathématique ; raisonnement |
| Résumé : |
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...). |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
