Logique mathématique - Tome 1
Calcul propositionnel, algèbre de Boole, calcul des prédicats - Cours et exercices corrigés
René Cori, Daniel Lascar - Collection Sciences sup
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.
L'auteur - René Cori
René Cori. Maître de conférences à l'université Denis-Diderot, Paris 7.
Autres livres de René Cori
L'auteur - Daniel Lascar
Daniel Lascar. Directeur de recherches au CNRS.
Autres livres de Daniel Lascar
Sommaire
- Calcul propositionnel
- Algèbres de Boole
- Calcul des prédicats
- Théorèmes de complétude
- Solutions des exercices
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Dunod |
| Auteur(s) | René Cori, Daniel Lascar |
| Collection | Sciences sup |
| Parution | 15/02/2021 |
| Nb. de pages | 408 |
| Format | 17 x 24 |
| Couverture | Broché |
| Poids | 664g |
| Intérieur | Noir et Blanc |
| EAN13 | 9782100825141 |
| ISBN13 | 978-2-10-082514-1 |
Avantages Eyrolles.com
Nos clients ont également acheté
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Techniques de programmation Logique
- Sciences Mathématiques Mathématiques par matières Algèbre Cours
- Sciences Mathématiques Mathématiques par matières Algèbre Exercices
- Sciences Mathématiques Mathématiques par matières Logique
- Sciences Mathématiques Mathématiques par matières Théorie des ensembles
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
