Le présent ouvrage est orienté et spécifique aux besoins pédagogiques et scientifiques de la matière le calcul dans la logique formelle. Notre méthodologie est basée sur un résumé des cours et des applications corrigées. Les deux premiers chapitres « calcul des propositions et de prédicats présentent les différentes relations existantes dans la logique formelle. Ainsi que le troisième chapitre s’intéresse a un panier des exercices et des examens corrigés.
| Pages: | 106 |
|---|---|
| Published: | 2021 |
| ISBN: | 978-1-63902-521-3 |
| Language: | French |
| Category: | Science |
