Introduction à la logique - 2e éd. - Théorie de la démonstration (2° Éd.) Théorie de la démonstration Coll. Sciences Sup
Auteurs : David René, Nour Karim, Raffalli Christophe
Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d'exercices avec leurs corrigés sont proposés en fin de chapitres. Une annexe présente un assistant de démonstration, le logiciel PhoX, réalisé par l'un des auteurs. Ce logiciel ainsi que des compléments aux corrigés sont disponibles sur le site Web des auteurs.
Formules et démonstrations de la Logique du premier ordre. Complétude de la logique du premier ordre. Exemples de théories. Logique intuitionniste et modèle de Kripke. Calcul des sécants. Logiques d'ordre supérieur. Démonstration automatique. Le logiciel PhoX. Solutions des exercices. Index
Ancien professeur à l'université de Savoie.
Maître de conférences (HDR) à l'université de Savoie (Chambéry)
Ancien maître de conférences à l'université de Savoie (Chambéry).
Date de parution : 08-2019
Ouvrage de 368 p.
17x24 cm