3.4/55 notes
Introduction à la logique standard : Calcul des propositions, des prédicats et des relations
Résumé :
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, ses 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édic... >Voir plus
C'est un ouvrage indispensable si vous voulez vous lancer dans le sujet. C'est bien sûr notre prof de logique formelle qui nous l'a imposé et c'est lumineux, impossible de ne pas comprendre.