Medias
Calcul en logique du premier ordre
Be the first to provide feedback
Un calcul logique, au sens large, est une méthode de résolution appliquée 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 formalisé (comme l'arithmétique), liées entre elles par une dépendance de nature fonctionnelle. Cet ouvrage constitue une introduction à deux outils de calcul en logique du premier ordre, soit le c
...
eBook - PDF
Watermark protection
Technical specifications
Release date | February 03th 2015 |
Language | French |
Publisher | Presses de l'Université Québec |
Categories | |
Number of pages | 304 pages |
Composition | Single-component retail product |
Support | Paperback / softback |
Format | Trade paperback (US) |
Measure | 25.4 cm (Height), 20.32 cm (Width) |
Accessibility | No information is available regarding the accessibility of the format Paper No information is available regarding the accessibility of the format PDF |