Nous utilisons des cookies pour vous proposer des contenus et services adaptés. En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies.
Ce site respecte la loi RGPD du 25 mai 2018. Pour en savoir plus, cliquez ici

Tous les livres - Logique

Logique mathématique

Logique mathématique

Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
Auteur : René Cori | Daniel Lascar |
Editeur : DUNOD
Collection : Sciences Sup
Année : 01/2003

Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la... [lire la suite]
42,50 €
Sur commande , expédition à 0.01€ sous 4 à 8 jours (en savoir plus)

Logique mathématique

Logique mathématique

Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats
Auteur : René CORI | Daniel LASCAR |
Editeur : DUNOD
Collection : Sciences Sup
Année : 01/2003

Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude.
43,50 €
Sur commande , expédition à 0.01€ sous 4 à 8 jours (en savoir plus)

Logique Tome 2

Logique Tome 2

Méthodes formelles pour l'étude des programmes
Auteur : Paul GOCHET |
Editeur : HERMES
Année : 02/1994


La première partie est consacrée à la théorie des ensembles. Le premier chapitre est une introduction philosophique et historique, les aspects techniques étant exposés au chapitre deux. La... [lire la suite]
56,00 €
Epuisé , cet ouvrage n'est plus commercialisé par l'éditeur (en savoir plus)