Présente la logique des propositions et la logique des prédicats du premier ordre : exemples de base abordés de façon informelle, présentation du langage formel, présentation de sa sémantique, études de propriétés fondamentales, méthode des contre-exemples et méthode de déduction naturelle, etc. ©Electre 2025
Une introduction pratique et didactique à la logique formelle
Cet ouvrage propose une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous.
Il aborde d'emblée la logique propositionnelle et la logique des prédicats du premier ordre, sans en développer les aspects mathématiques, mais sans négliger les techniques fondamentales. L'accent est particulièrement mis sur la logique comme outil d'analyse du langage.
Le livre vaut non seulement pour la richesse des thèmes abordés, mais aussi pour la large gamme d'exercices résolus qui conduisent progressivement le lecteur à une connaissance approfondie des notions de base de la logique.
Cette 4e édition, signée par deux auteurs des éditions précédentes et enrichie de l'apport d'un nouvel auteur, remanie le stock déjà abondant des exercices et lui ajoute une trentaine de pages, fruit de l'expérience d'enseignement.
Paru le : 20/08/2014
Thématique : Mathématiques 1er Cycle
Auteur(s) : Auteur : Thierry Lucas Auteur : Isabelle Berlanger Auteur : Vincent Degauquier
Éditeur(s) :
De Boeck supérieur
Collection(s) : Démarches de pensée
Série(s) : Non précisé.
ISBN : 978-2-8041-8248-9
EAN13 : 9782804182489
Reliure : Broché
Pages : 263
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 1.7 cm
Poids: 426 g
Carte fidélité
Mollat Radio
