Chargement...
Chargement...
  1. Sciences - Savoirs
  2. Sciences - Techniques
  3. Mathématiques
  4. Mathématiques Appliquées
Le point aveugle : cours de logique. Vol. 1. Vers la perfection

Le point aveugle : cours de logique. Vol. 1. Vers la perfection

Auteur : Jean-Yves Girard

36,00 €
Chargement...
Livraison à partir de 0,01 €
-5 % Retrait en magasin avec la carte Mollat
en savoir plus

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...). ©Electre 2025

Fiche Technique

Paru le : 16/06/2006

Thématique : Mathématiques Appliquées

Auteur(s) : Auteur : Jean-Yves Girard

Éditeur(s) : Hermann

Collection(s) : Visions des sciences

Série(s) : Le point aveugle : cours de logique

ISBN : Non précisé.

EAN13 : 9782705666330

Reliure : Broché

Pages : XII-280

Hauteur: 21.0 cm / Largeur 15.0 cm


Épaisseur: 1.7 cm

Poids: 362 g