Le point aveugle : Tome 1, Vers la perfection cours de logique

সংরক্ষণ করুন:
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Girard, Jean-Yves, 1947-
বিন্যাস: 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...).
সূচিপত্রের সারণি:
  • L'ouvrage rassemble les notes d'un cours donné dans le cadre de l'Université franco-italienne, d'octobre à décembre 2004, à l'Università Roma Tre (Dipartimento di filosofia)