Accueil
Tous les produits
Arts, Sciences & Société
Sciences, Techniques et Médecine
Personnages scientifiques
Initiation à la logique formelle : avec exercices et corrigés

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

Name: Initiation à la logique formelle : avec exercices et corrigés
Brand: Recyclivre
Author: Thierry Lucas
ISBN: 9782804182489

Thierry Lucas

20/08/2014
De Boeck supérieur

NC (0 avis)

Couverture de Initiation à la logique formelle : avec exercices et corrigés par Thierry Lucas

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 4^e é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.