en savoir plus
Permet à tous ses détenteurs d'obtenir 5% de réduction sur tous les livres lors du retrait en magasin (réduction non cumulable avec les réductions de type étudiant).
Offre également un certain nombre d'avantages auprès de nos partenaires.
Avec les favoris, retrouvez dans un espace les sélections effectuées au fur et à mesure de vos navigations dans le site.
Constituez pour votre usage personnel vos listes de livres en prévisions d'achats futurs et votre sélection d'articles, dossiers, événements, vidéos ou podcasts préférés ou à découvrir plus tard...
Il suffit simplement de cliquer sur "Ajout Favori" sur chaque page qui vous intéresse pour les retrouver ensuite dans votre espace personnel.
Requiert un compte Mollat
Requiert un compte Mollat
Présentation des bases du raisonnement mathématique, de la syntaxe associée au calcul des énoncés et notamment de la théorie de la démonstration. 170 exercices sont proposés en fin de chapitre, dont certains réalisables en ligne, ainsi qu'une présentation du logiciel PhoX, un assistant de démonstration. ©Electre 2024
Introduction à la logique
Théorie de la démonstration
Cet ouvrage, entièrement révisé dans cette seconde édition, est un cours introductif à la logique mathématique et, en particulier, la théorie de la démonstration. On y donne la réponse du mathématicien aux questions « qu'est-ce qu'un énoncé ? une démonstration ? » ou plus fondamentalement, « qu'est-ce que les mathématiques ? », en l'illustrant par de nombreux exemples de mathématiques courantes. Il aborde également la logique intuitionniste qui donne des preuves constructives et les techniques de base de la démonstration automatique. Ces notions sont essentielles en informatique.
Pour aider le lecteur dans sa compréhension, ce cours contient de nombreux exemples et près de 170 exercices corrigés. Une annexe présente un assistant de démonstration, le logiciel PhoX, écrit par l'un des auteurs. Des compléments aux corrigés (preuves complètement formalisées ou réalisées avec le logiciel PhoX) ainsi que le logiciel Phox, sont disponibles sur le site des auteurs.
Ce livre, qui ne suppose aucun prérequis en logique, s'adresse plus particulièrement aux étudiants en troisième année de Licence ou en Master. Il pourra également intéresser les candidats au CAPES et à l'agrégation.
Paru le : 11/08/2019
Thématique : Mathématiques 1er Cycle
Auteur(s) : Auteur : René David Auteur : Karim Nour Auteur : Christophe Raffalli
Éditeur(s) :
Dunod
Collection(s) : Sciences sup
Contributeur(s) : Préfacier : Pierre-Louis Curien
Série(s) : Non précisé.
ISBN : 978-2-10-080632-4
EAN13 : 9782100806324
Reliure : Broché
Pages : XIII-352
Hauteur: 24.0 cm / Largeur 17.0 cm
Épaisseur: 1.8 cm
Poids: 646 g