Présente successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Chaque chapitre est accompagné de nombreux exercices corrigés. ©Electre 2025
Paru le : 23/01/2003
Thématique : Mathématiques 1er Cycle
Auteur(s) : Auteur : René Cori Auteur : Daniel Lascar
Éditeur(s) :
Dunod
Collection(s) : Sciences sup
Contributeur(s) : Préfacier : Jean-Louis Krivine
Série(s) : Logique mathématique
ISBN : Non précisé.
EAN13 : 9782100054527
Reliure : Broché
Pages : XV-385
Hauteur: 24.0 cm / Largeur 17.0 cm
Épaisseur: 2.4 cm
Poids: 690 g
Carte fidélité
Mollat Radio
