Rayon Mathématiques
Initiation à la logique formelle : avec exercices et corrigés

Fiche technique

Format : Broché
Nb de pages : 263 pages
Poids : 426 g
Dimensions : 16cm X 24cm
ISBN : 978-2-8041-8248-9
EAN : 9782804182489

Initiation à la logique formelle

avec exercices et corrigés


Collection(s) | Démarches de pensée
Paru le
Broché 263 pages

Quatrième de couverture

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.

Biographie

Thierry Lucas est professeur émérite de l'Université Catholique de Louvain. Il y a enseigné la logique devant des publics très diversifiés et il poursuit actuellement ses recherches dans le domaine de la logique.

Isabelle Berlanger est professeure de mathématiques et de didactique à l'institut Supérieur de Pédagogie Galilée (Haute École Galilée) et maître de conférence à l'Université de Mons. Elle enseigne la logique à des publics de différents niveaux et domaines d'études.

Vincent Degauquier est chargé de recherche à l'Université catholique de Louvain et y enseigne la logique en qualité de chargé de cours invité.

Avis des lecteurs

Du même auteur : Thierry Lucas

Facettes de la logique formelle

Initiation à la logique formelle : exercices et corrigés

Initiation à la logique formelle : exercices et corrigés

Du même auteur : Isabelle Berlanger

Facettes de la logique formelle

Initiation à la logique formelle : exercices et corrigés

Initiation à la logique formelle : exercices et corrigés

Du même auteur : Vincent Degauquier

Facettes de la logique formelle