Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats (Broché)
- Livres mathématiques
- René Cori, Daniel Lascar
Date de parution
03/03/2021
Format
Broché
Editeur
Dunod
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.
| Auteur(s) | René Cori, Daniel Lascar |
|---|---|
| Rayon | Livre|Savoirs|Sciences et techniques|Mathématiques |
| Libellé | Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats (Broché) |
| Catégorie produits | sciences_pures |
| Date de parution | 03/03/2021 |
| Nombre de pages | XV-385 |
| ISBN | 978-2-10-082514-1 |
| Edition | Nouvelle présentation |
| Collection | Sciences sup : Mathématiques |
| Préfacier | Jean-Louis Krivine |
| Dimensions (cm) | 17 x 24 x 2 |
| Poids du produit | 697 g |
| Sciences pures | Mathématiques |
| EAN | 9782100825141 |
| Titre de l'œuvre | Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats |
| Format | Broché |
| Série | Logique mathématique |
| Editeur | Dunod |
| Thème CLIL | Mathématiques |
Des millions de
références en vente
Cumulez des Tickets
retrait gratuit en magasin
Tous vos produits
à prix E.LECLERC
Paiements
100% sécurisés