| Titre de série : |
Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1 |
| Titre : |
Logique mathématique : cours et exercices corrigés |
| Type de document : |
texte imprimé |
| Auteurs : |
René Cori, Auteur ; Daniel Lascar (1942-..), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. |
| Editeur : |
Paris : Dunod |
| Année de publication : |
DL 2005 |
| Collection : |
Sciences sup |
| ISBN/ISSN/EAN : |
978-2-10-005452-7 |
| Catégories : |
Mathématiques
Mathématiques:Principes généraux des mathématiques
|
| Mots-clés : |
Calcul des prédicats Boole, Algèbre de Calcul des propositions |
| Index. décimale : |
511 Principes généraux des mathématiques |
| 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. |
|  |
Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1. Logique mathématique
