Logique mathématique - René Cori, Daniel Lascar (1994)

• Catégorie: Science et Technique
• Editeur: Masson
• Vues: 1315
• Date d'ajout: 07/04/2025 16:36

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. Après
avoir exposé dans le premier tome le calcul propositionnel, les algèbres de
Boole, le calcul des prédicats, et les théorèmes de complétude, les auteurs
consacrent le deuxième volume aux problèmes de récursivité et de formalisation
de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi
qu'à la théorie des modèles. Ce deuxième tome est destiné aux étudiants de
deuxième et troisiè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 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é.