Introduction à la logique
Théorie de la démonstration
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 [...]
[lire le résumé du livre]
Auteur : René DAVID , Karim NOUR , Christophe RAFFALLI
Editeur : Dunod
Collection : Sciences Sup
Date parution : 08/2019 (2ème édition)CB Google/Apple Pay, Chèque, Virement
Quel est le sujet du livre "Introduction à la logique"
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.
Auteurs :Préfacier Auteur Auteur Auteur René David : Professeur à l'université de Savoie. Karim Nour : Maître de conférences (HDR) à l'université de Savoie (Chambéry). Christophe Raffalli : Maître de conférences à l'université de Savoie (Chambéry).
En suivant ce lien, retrouvez tous les livres dans la spécialité Logique mathématique.Sommaire et contenu du livre "Introduction à la logique - Théorie de la démonstration"
FORMULES ET DEMONSTRATIONS DE LA LOGIQUE DU PREMIER ORDRECOMPLETUDE DE LA LOGIQUE DU PREMIER ORDRE
EXEMPLES DE THEORIES
LOGIQUE INTUITIONNISTE ET MODELE DE KRIPKE
CALCUL DES SECANTS
LOGIQUES D'ORDRE SUPERIEUR
DEMONSTRATION AUTOMATIQUE
LE LOGICIEL PHOX
SOLUTIONS DES EXERCICES
INDEX