| Titre : | Logique mathématique : 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats, cours et exercices corrigés |
| Auteurs : | René. Cori ; Daniel. Lascar, Auteur |
| Type de document : | texte imprimé |
| Mention d'édition : | Nouv. présentation |
| Editeur : | Paris : Dunod, 2003 |
| Collection : | Sciences sup |
| ISBN/ISSN/EAN : | 978-2-10-005452-7 |
| Format : | XV-385 p. / ill. / 24 cm |
| Note générale : | Bibliogr, index |
| Langues: | Français |
| Index. décimale : | 510 (Mathématiques) |
| Catégories : | |
| Mots-clés: | Boole, algèbre de ; manuels d'enseignement supérieur ; calcul propositionnel ; calcul des prédicats |
| Résumé : | Présente successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Chaque chapitre est accompagné de nombreux exercices corrigés. |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| Mathé.A/2817 | 510/1171/1 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
