Éléments de logique contemporaine - François Lepage - Librairie Eyrolles
Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Éléments de logique contemporaine
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Éléments de logique contemporaine

Éléments de logique contemporaine

Troisième édition revue et augmentée avec exercices et corrigés

François Lepage - Collection Paramètres

282 pages, parution le 29/11/2010

Résumé

Cet ouvrage expose les méthodes et concepts élémentaires de la logique contemporaine dont la maîtrise est nécessaire pour qui veut aborder l'étude de la métalogique. Véritable manuel d'introduction - sa lecture ne requérant aucune connaissance particulière - il comporte deux parties correspondant à la division classique entre le calcul des énoncés et le calcul des prédicats.

La première partie présente les connecteurs logiques d'un point de vue purement sémantique par la méthode des tables de vérité et par la méthode des matrices. Une attention particulière est portée aux questions de traduction en langue naturelle. Cet ouvrage pourra donc être utile à tous les étudiants de premier cycle qui amorcent une réflexion sur le langage. Les méthodes syntaxiques de vérification de la validité sont ensuite abordées : algèbre de Boole, méthode des arbres et méthode de déduction naturelle.

Consacrée à l'étude du calcul des prédicats, la seconde partie en présente les notions fondamentales : modèle, satisfaction, vérité, validité. Sont ensuite développées la méthode des arbres et la méthode de déduction naturelle.

De nombreux exercices originaux permettront au lecteur de vérifier au fur et à mesure sa compréhension de la matière. Plusieurs de ces exercices sont accompagnés de corrigés qui sont regroupés à la fin de chaque chapitre.

Sommaire

  • Le calcul des enonces
    • Les concepts fondamentaux
    • Connecteurs logiques et langue naturelle
    • Les tautologies et les contradictions
  • Le calcul des predicats
    • Les concepts fondamentaux du calcul des prédicats
    • La méthode des arbres en calcul des prédicats
    • La déduction naturelle en calcul des prédicats
Voir tout
Replier

Caractéristiques techniques

  PAPIER
Éditeur(s) Presses de l'Université de Montréal (PUM)
Auteur(s) François Lepage
Collection Paramètres
Parution 29/11/2010
Nb. de pages 282
Format 15.2 x 22.7
Couverture Broché
Poids 406g
EAN13 9782760622302
ISBN13 978-2-7606-2230-2

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription