Loading…
Calcul en logique du premier ordre /
Un calcul logique, au sens large, est une methode de resolution appliquee au traitement d'une structure propositionnelle. Les propositions constituant cette structure peuvent aussi bien être des expressions d'une langue naturelle (comme le français) que des expressions d'un langage...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | Francés |
| Published: |
Ottawa, Ontario :
Canadian Electronic Library,
2016.
|
| Series: | Book collections on Project MUSE.
|
| Subjects: | |
| Online Access: | Texto completo |
| Summary: | Un calcul logique, au sens large, est une methode de resolution appliquee au traitement d'une structure propositionnelle. Les propositions constituant cette structure peuvent aussi bien être des expressions d'une langue naturelle (comme le français) que des expressions d'un langage formalise (comme l'arithmetique), liees entre elles par une dependance de nature fonctionnelle. Cet ouvrage constitue une introduction à deux outils de calcul en logique du premier ordre, soit le calcul en arbres de consistance et le calcul en deduction naturelle. La premiere partie, centree sur la notion de structure propositionnelle, expose les concepts, les objets et les methodes propres à la logique propositionnelle. Dans la deuxieme partie, la logique propositionnelle est etendue à la logique predicative au moyen de la quantification et de concepts caracteristiques d'un langage du premier ordre. Les deux outils de calcul sont ensuite enrichis de maniere à pouvoir traiter des fonctions propositionnelles, soit des predicats du premier ordre. De nombreux exemples et exercices, accompagnes de leurs solutions, aideront l'etudiant à progresser vers des calculs toujours plus complexes et à raffiner ses methodes de calcul logique. |
|---|---|
| Physical Description: | 1 online resource. |
| ISBN: | 9782760542105 |