Cet ouvrage fait le lien entre logique et raisonnement, analyse les erreurs classiques et explique avec des raisonnements courants les notions de preuve et de déduction. Des exercices corrigés permettent de maîtriser les notions de base ayant trait à la syntaxe, la sémantique et la théorie de la preuve. ©Electre 2024
Ce livre présente la logique sous un aspect original en s'attachant à en faire d'abord comprendre l'intérêt et la méthode. Le lien entre logique et raisonnement est ainsi constamment présent, les erreurs classiques de raisonnement analysées, et les notions de preuve et de déduction expliquées en prenant modèle sur des raisonnements courants. Le formalisme des langages logiques est introduit par le biais d'exemples qui en soulignent l'utilité pratique. De nombreux exercices corrigés permettent au novice de maîtriser peu à peu les notions de base ayant trait à la syntaxe, la sémantique et la théorie de la preuve.
L'ouvrage vise un public aussi large que possible. Il est destiné aussi bien à ceux dont les études requièrent une certaine méthodologie qu'aux lecteurs sans bagage scientifique intéressés par la problématique du raisonnement. Il constitue en même temps une ressource complémentaire pour les étudiants en licence de mathématiques qui trouveront là un exposé didactique, complet, et rigoureux - quoique sans démonstration - des principaux résultats du calcul propositionnel et de la logique du premier ordre.
Paru le : 28/06/2011
Thématique : Mathématiques 1er Cycle
Auteur(s) : Auteur : Michael Freund
Éditeur(s) :
Ellipses
Collection(s) : Non précisé.
Série(s) : Non précisé.
ISBN : 978-2-7298-6548-1
EAN13 : 9782729865481
Reliure : Broché
Pages : IX-163
Hauteur: 24.0 cm / Largeur 17.0 cm
Épaisseur: 1.1 cm
Poids: 302 g
Carte fidélité
Mollat Radio
