| Titre : |
Logique mathématique T.1 : cours et exercices, calcul propositionnel, algèbre de boole, calcul des prédicats |
| Type de document : |
texte imprimé |
| Auteurs : |
CORI.R, Auteur ; Daniel LASCAR, Auteur ; J.-L. KRIVINE, Préfacier, etc. |
| Editeur : |
Masson |
| Année de publication : |
1994. |
| Importance : |
385 p. |
| Format : |
25 cm. |
| ISBN/ISSN/EAN : |
2-225-64079-2 |
| Note générale : |
Index |
| Langues : |
Français (fre) |
| Catégories : |
MATHÉMATIQUES:Logique mathématique
|
| Index. décimale : |
04-07 Logique mathématique |
| Résumé : |
Sommaire:
Calcul propositionnel
Algèbres de Boole
Calcul des prédicats
Théorèmes de complétude
Solutions des exercices |
Logique mathématique T.1 : cours et exercices, calcul propositionnel, algèbre de boole, calcul des prédicats [texte imprimé] / CORI.R, Auteur ; Daniel LASCAR, Auteur ; J.-L. KRIVINE, Préfacier, etc. . - Masson, 1994. . - 385 p. ; 25 cm. ISSN : 2-225-64079-2 Index Langues : Français ( fre)
| Catégories : |
MATHÉMATIQUES:Logique mathématique
|
| Index. décimale : |
04-07 Logique mathématique |
| Résumé : |
Sommaire:
Calcul propositionnel
Algèbres de Boole
Calcul des prédicats
Théorèmes de complétude
Solutions des exercices |
|  |