couverture

Introduction à la logique standard : calcul des propositions, des prédicats et des relations

Vernant, Denis

  • Éditeur : Flammarion
  • Collection : Champs essais
  • ISBN 9782081265943
  • Paru le 15 novembre 2011
  • 19,95 $ *
  • Sciences

* Les prix de nos produits sont sujets à changements sans préavis.

Résumé

Exposé des bases de la logique : logique des propositions, logique des prédicats, logique des relations, etc. Avec une série d'exercices corrigés et commentés.

Quatrième de couverture

Introduction à la logique standard . Calcul des propositions, des prédicats et des relations . La logique a acquis au XXe siècle un statut déterminant : elle n'est pas seulement l'outil privilégié de l'Intelligence Artificielle ; elle s'impose aussi dans le parcours des philosophes, des mathématiciens, des économistes, des juristes.... Le présent ouvrage s'adresse à tous ceux qui veulent s'initier à la logique contemporaine. Il propose en trois temps (1. calcul des propositions ; 2. calcul des prédicats ; 3. calcul des relations) un exposé complet et pédagogique de ses fondements.. Il permet, enfin, au lecteur de mettre en oeuvre ses connaissances au moyen d'exercices corrigés et commentés..