| Titre : |
Logique mathématique : 1.Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés |
| Type de document : |
texte imprimé |
| Auteurs : |
René Cori ; Daniel Lascar |
| Editeur : |
Paris : Dunod |
| Année de publication : |
2003 |
| Importance : |
408 p |
| Présentation : |
ill.,couv.ill. |
| Format : |
24cm. |
| ISBN/ISSN/EAN : |
978-2-10-005452-7 |
| Note générale : |
Biblio.p.361-363.Index. |
| Langues : |
Français (fre) |
| Mots-clés : |
C C A A T T |
| 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 |
| Permalink : |
./index.php?lvl=notice_display&id=19418 |
Logique mathématique : 1.Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés [texte imprimé] / René Cori ; Daniel Lascar . - Paris : Dunod, 2003 . - 408 p : ill.,couv.ill. ; 24cm. ISBN : 978-2-10-005452-7 Biblio.p.361-363.Index. Langues : Français ( fre)
| Mots-clés : |
C C A A T T |
| 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 |
| Permalink : |
./index.php?lvl=notice_display&id=19418 |
|  |
1. Logique mathématique