Logique mathématique
Tome 1, Calcul propositionnel, algèbre de Boole, calcul des
Daniel Lascar, René Cori - Collection Axiomes
Résumé
Issu d'un enseignement de logique dispensé en 2e et 3e. cycles, ce cours traite de manière détaillée des domaines fondamentaux de la logique mathématique. Ce premier tome expose successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Ce premier volume est plus particulièrement destiné aux étudiants de premier et deuxième cycles universitaires en logique, mathématiques et informatique. Ils y trouveront notamment de nombreux exercices corrigés leur permettant une réelle acquisition des différentes notions logiques exposées. Cet ouvrage intéressera également les élèves ingénieurs et les étudiants de troisième cycle désirant s'orienter vers les mathématiques pures ou l'informatique, les chercheurs et les ingénieurs de recherche en informatique, soucieux de disposer d'un texte de référence sur les bases mathématiques de leur spécialité. La lecture de ce livre n'exige aucune connaissance préalable en logique.
L'auteur - Daniel Lascar
Daniel Lascar. Directeur de recherches au CNRS.
Autres livres de Daniel Lascar
L'auteur - René Cori
René Cori. Maître de conférences à l'université Denis-Diderot, Paris 7.
Autres livres de René Cori
Sommaire
- Calcul propositionnel
- Algèbres de boole
- Calcul des prédicats
- Théorèmes de complétude
Caractéristiques techniques
PAPIER | |
Éditeur(s) | Elsevier-Masson |
Auteur(s) | Daniel Lascar, René Cori |
Collection | Axiomes |
Parution | 01/11/1996 |
Nb. de pages | 385 |
Format | 16 x 24 |
Couverture | Broché |
Poids | 630g |
Intérieur | Noir et Blanc |
EAN13 | 9782225840791 |
ISBN13 | 978-2225840791 |
Avantages Eyrolles.com
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