Calcul en logique du premier ordre

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 sortie03 février 2015
LangueFrançais
ÉditeurPresses de l'Université Québec
Catégories
Nombre de pages304 pages
CompositionContient un seul article
SupportLivre imprimé à couverture souple
FormatLivre compact
Mesure25.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