AccueilActualitésCoups de coeurExtraitsVidéosForumsSites internetAuteursEditeurs
Au menu
Accueil
Actualités
Actus du livre
Agenda
Revue de presse
Echo des blogs
Dernières parutions
Vos avis
Coups de coeur
Livres les plus consultés
Magazine
Quotidien
Interviews
Extraits
Bibliographies
Vidéos
Forums
Répertoires
Sites internet
Auteurs
Editeurs
Librairies
Espace professionnel
Editeurs
Journalistes
Libraires
Webmasters
Ma bibliothèque

Rechercher un livre
Mots clés:

Coup de coeur

Nous commençons notre descente
James Meek
Editions Métailié

Nouvelles parutions

Treize mille jours moins un
Didier Da Silva
Editions Léo Scheer

Espace membres
Pseudo:
Mot de passe:


S'inscrire


  Fiche livre


Le Point Aveugle: Tome 1. Cours de Logique, Vers la perfection.
De Jean-Yves Girard
Editeur : Hermann Science
Parution le : 7 Juillet 2006

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...).

Donnez votre avis


Votre avis:
Signature ou pseudo:

Acheter ce livre

Acheter en ligneAcheter chez votre libraire
Amazon
Indiquez votre code postal pour trouver les librairies près de chez vous
Votre code postal:

© Rue des livres - Tous droits réservés  | Accueil | Contact |