Medias
Calcul en logique du premier ordre
Soyez le premier à donner votre avis
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
...
Livre numérique - PDF
Protection filigrane
Spécifications techniques
Date de sortie | 03 février 2015 |
Langue | Français |
Éditeur | Presses de l'Université Québec |
Catégories | |
Nombre de pages | 304 pages |
Composition | Contient un seul article |
Support | Livre imprimé à couverture souple |
Format | Livre compact |
Mesure | 25.4 cm (Hauteur), 20.32 cm (Largeur) |
Accessibilité | Aucune information disponible concernant l'accessibilité pour le format Papier Aucune information disponible concernant l'accessibilité pour le format PDF |