3.5/51 notes
Initiation a la logique formelle avec exercices et corriges
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.... >Voir plus