lire le livre Introduction à la logique standard : Calcul des propositions, des prédicats et des relations

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

LIVRES ILLIMITÉS, LE TOUT EN UN SEUL ENDROIT. GRATUIT POUR ESSAYER COMPTE GRATUIT.

Titre original:Introduction à la logique standard : Calcul des propositions, des prédicats et des relations
Taille:5834KB
Évaluation:
Type:PDF, ePub, Kindle
Catégorie:Livre
Téléchargé:2020 Jul 4

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.