|
Titre :
|
Logique mathématique : cours et exercices corrigés
|
|
Titre de série :
|
Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1
|
|
Auteurs :
|
René Cori, Auteur ;
Daniel Lascar, Auteur ;
Jean-Louis Krivine, Préfacier, etc.
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Paris : Dunod, DL 2003
|
|
Collection :
|
Sciences sup
|
|
ISBN/ISSN/EAN :
|
978-2-10-005452-7
|
|
Format :
|
1 vol. (XV-385 p.) / couv. ill. en coul / 24 cm
|
|
Langues:
|
Français
|
|
Index. décimale :
|
511.3
|
|
Catégories :
|
Boole, Algèbre de
Calcul des prédicats
Calcul des propositions
|
|
Résumé :
|
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.
|
