| Titre : | Initiation à la logique formelle : avec exercices et corrigés |
| Auteurs : | Thierry Lucas ; Isabelle Berlanger ; Vincent Degauquier |
| Type de document : | Books |
| Editeur : | Bruxelles : De Boeck Supérieur, 2014 |
| Article en page(s) : | 263 p. |
| ISBN/ISSN/EAN : | 978-2-8041-8248-9 |
| Langues: | Français |
| Index. décimale : | 160 |
| Catégories : | |
| Tags : | Language and logic ; Logic, Symbolic and mathematical ; Logic |
| Résumé : |
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. 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 a 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 charge de cours invité. |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 302476 | 160 LUC I | Book | Royal Military Academy | Bibliothèque ERM | Disponible |
