Initiation à la logique formelle : exercices et corrigés

Fiche technique

Format : Broché
Nb de pages : 233 pages
Poids : 380 g
Dimensions : 16cm X 24cm
ISBN : 978-2-8041-5368-7
EAN : 9782804153687

Initiation à la logique formelle

exercices et corrigés

De Thierry Lucas, Isabelle Berlanger, Isabelle De Greef,

Chez De Boeck

Collection(s) | Démarches de pensée

Paru le 27/02/2007

Broché 233 pages

Quatrième de couverture

Initiation à la logique formelle

L'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 nouvelle édition revue par les auteurs comporte de nombreux exercices remaniés et ajoutés.

Biographie

Thierry Lucas est professeur émérite invité à l'Université catholique de Louvain. Il y a enseigné la logique devant des publics très diversifiés et il y reste chargé d'un cours d'initiation auprès d'étudiants de sciences humaines.

Isabelle Berlanger est licenciée en sciences mathématiques, docteur en philosophie et maître de conférences invitée à l'Université catholique de Louvain.

Isabelle de Greef est licenciée et maître en sciences économiques de l'Université catholique de Louvain.