Premier titre d'une nouvelle collection. Ce cours est issu d'un enseignement de 2e cycle. Nombreux exercices corrigés. ©Electre 2025
La logique mathématique est actuellement un domaine d'une grande richesse, qui donne lieu, depuis une soixantaine d'années, à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive.
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.
Paru le : 01/01/1993
Thématique : Mathématiques Appliquées
Auteur(s) : Auteur : René Cori Auteur : Daniel Lascar
Éditeur(s) :
Elsevier Masson
Collection(s) : Axiomes
Série(s) : Logique mathématique, cours et exercice
ISBN : Non précisé.
EAN13 : 9782225840791
Reliure : Broché
Pages : 408
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 1.8 cm
Poids: 640 g
Carte fidélité
Mollat Radio
