| 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 : |
René CORI, 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 : |
978-2-225-84079-1 |
| 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é] / René CORI, Auteur ; Daniel LASCAR, Auteur ; J.-L. KRIVINE, Préfacier, etc. . - Masson, 1994. . - 385 p. ; 25 cm. ISBN : 978-2-225-84079-1 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 |
|  |
Accueil
Vous pouvez faire des propositions d'achat de livres, en utilisant
le formulaire en ligne
Logique mathématique T.1 / Masson (1994.)
