| Titre : | Initiation à la logique formelle : exercices et corrigés | | Type de document : | Livres, articles, périodiques | | Auteurs : | Thierry Lucas (1943-....), Auteur ; Isabelle Berlanger, Auteur ; Isabelle De Greef, Auteur | | Mention d'édition : | 3e éd. revue et corrigée | | Editeur : | Bruxelles : De Boeck | | Année de publication : | 2007 | | Collection : | Démarches de pensée, ISSN 1379-5287 | | Importance : | 233 p. | | Présentation : | tableaux | | Format : | 24 cm | | ISBN/ISSN/EAN : | 978-2-8041-5368-7 | | Prix : | 24,50 € | | Note générale : | Index | | Langues : | Français (fre) | | Mots-clés : | Informatique Proposition (logique) Prédicat (logique) Logique formelle | | Index. décimale : | 510.6 Logique mathématique | | 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.
Biographie des auteurs
Thierry Lucas est professeur ordinaire à l'Université catholique de Louvain. Il y enseigne la logique aussi bien auprès des étudiants de sciences exactes que des étudiants de sciences humaines.
Isabelle Berlanger est licenciée en sciences mathématiques et en philosophie et assistante à l'Université catholique de Louvain.
Isabelle De Greef est licenciée et maître en sciences économiques de l'Université catholique de Louvain. | | Note de contenu : | Table des matières
Partie 1 logique
- Chapitre 1 Logique des propositions
- Chapitre 2 Logique des prédicats
partie 2 exercices
- Chapitre 1 Logique des propositions
- Chapitre 2 Logique des prédicats
partie 3 solutionnaire
- Chapitre 1 Logique des propositions
- Chapitre 2 Logique des prédicats
partie 4 compléments
- Complément 1 La logique traditionnelle
- Complément 2 Coup d'oeil sur d'autres logiques |
Initiation à la logique formelle : exercices et corrigés [Livres, articles, périodiques] / Thierry Lucas (1943-....), Auteur ; Isabelle Berlanger, Auteur ; Isabelle De Greef, Auteur . - 3e éd. revue et corrigée . - Bruxelles : De Boeck, 2007 . - 233 p. : tableaux ; 24 cm. - ( Démarches de pensée, ISSN 1379-5287) . ISBN : 978-2-8041-5368-7 : 24,50 € Index Langues : Français ( fre) | Mots-clés : | Informatique Proposition (logique) Prédicat (logique) Logique formelle | | Index. décimale : | 510.6 Logique mathématique | | 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.
Biographie des auteurs
Thierry Lucas est professeur ordinaire à l'Université catholique de Louvain. Il y enseigne la logique aussi bien auprès des étudiants de sciences exactes que des étudiants de sciences humaines.
Isabelle Berlanger est licenciée en sciences mathématiques et en philosophie et assistante à l'Université catholique de Louvain.
Isabelle De Greef est licenciée et maître en sciences économiques de l'Université catholique de Louvain. | | Note de contenu : | Table des matières
Partie 1 logique
- Chapitre 1 Logique des propositions
- Chapitre 2 Logique des prédicats
partie 2 exercices
- Chapitre 1 Logique des propositions
- Chapitre 2 Logique des prédicats
partie 3 solutionnaire
- Chapitre 1 Logique des propositions
- Chapitre 2 Logique des prédicats
partie 4 compléments
- Complément 1 La logique traditionnelle
- Complément 2 Coup d'oeil sur d'autres logiques |
|  |
Faire une suggestion Affiner la rechercheInitiation à la logique formelle / Thierry Lucas
