Chargement...
Chargement...
  1. Serie
  2. Le point aveugle : cours de logique

Livres Le point aveugle : cours de logique

Auteur

Support

Série

Disponibilité

1
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
Éditeur(s) : Hermann
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...
36,00 €
Chargement...
Le point aveugle : cours de logique. Vol. 2. Vers l'imperfection
Le point aveugle : cours de logique. Vol. 2. Vers l'imperfection
Auteur : Jean-Yves Girard
Éditeur(s) : Hermann
Ce cours de théorie de la démonstration s'adresse aux mathématiciens, informaticiens, physiciens, mais également philosophes et linguistes. Il développe une méthodologie de l'interprétation de l'imperfection, postulant une pérennité non pérenne qui s'exprime dans les...
38,00 €
Chargement...
1