| Titre : | Initiation à la logique formelle : exercices et corrigés |
| Auteurs : | Thierry Lucas ; Isabelle Berlanger ; Isabelle de Greef |
| Type de document : | texte imprimé |
| Mention d'édition : | 3e éd |
| Editeur : | Bruxelles : De Boeck, 2007 |
| Collection : | Démarches de pensée |
| ISBN/ISSN/EAN : | 978-2-8041-5368-7 |
| Format : | 1 vol. (233 p.) / 24 cm |
| Note générale : | Index |
| Langues originales: | |
| Index. décimale : | 160 (Logique) |
| Catégories : |
Ouvrages > Philosophie et disciplines connexes > Philosophie |
| Mots-clés: | Proposition (logique) Prédicat (logique) |
| Résumé : |
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. |
| Note de contenu : |
Sommaire - Logique - Exercices - Solutionnaire - Compléments |
| Côte titre : | S8/72123-72125 |
Exemplaires (3)
| Cote | Support | Localisation | Disponibilité |
|---|---|---|---|
| S8/72123 | Livre | Bibliothèque centrale | Disponible |
| S8/72124 | Livre | Bibliothèque centrale | Disponible |
| S8/72125 | Livre | Bibliothèque centrale | Disponible |
Accueil
