|
Titre :
|
Logique mathématique : cours et exercices corrigés
|
|
Auteurs :
|
René Cori, Auteur ;
Daniel Lascar, Auteur ;
Jean-Louis Krivine, Préfacier, etc.
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Paris : Dunod, 2003
|
|
Collection :
|
Sciences sup
|
|
ISBN/ISSN/EAN :
|
978-2-10-005452-7
|
|
Format :
|
2 vol. (XV-385 p., ) / ill. / 24 cm
|
|
Note générale :
|
Bibliogr. p. 361-363
|
|
Langues:
|
Français
|
|
Index. décimale :
|
511.3
|
|
Catégories :
|
Logique mathématique -- Problèmes et exercices
|
|
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.
|
|
Note de contenu :
|
1, Calcul propositionnel, algèbre de Boole, calcul des prédicats ; 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
|
