Le point aveugle : Tome 1, Vers la perfection cours de logique
Сохранить в:
Главный автор: | |
---|---|
Формат: | Livre |
Язык: | Français |
Опубликовано: |
Paris :
Hermann,
DL 2006.
|
Серии: | Visions des sciences
|
Предметы: | |
Autres localisations: | Voir dans le Sudoc |
Итог: | 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...). |
BU Sciences
Хранение | Шифр | Статус | |
---|---|---|---|
|
Libre accès | 511.3 GIR (II) | Доступно |