Le point aveugle : Tome 1, Vers la perfection cours de logique
Enregistré dans:
| Auteur principal: | |
|---|---|
| Support: | Livre |
| Langue: | Français |
| Publié: |
Paris :
Hermann,
DL 2006.
|
| Collection: | Visions des sciences
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| 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...). |
| 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...). |
|---|---|
| Description matérielle: | 1 vol. (XVI-280 p.) : fig., couv. en coul. ; 21 cm. |
| Public: | L'ouvrage s'adresse aussi bien aux mathématiciens qu'aux informaticiens, aux philosophes qu'aux physiciens et aux linguistes |
| Bibliographie: | Bibliographie p. [265]-268. Notes bibliographiques. Index |
| ISBN: | 2705666338 |