Chargement...
Chargement...

Calcul en logique du premier ordre

Auteur : Yves Bouchard

Paru le : 02/04/2015
Série(s) : Non précisé.
Collection(s) : Non précisé.
Contributeur(s) : Non précisé.

32,00 €
Expédié en 5 à 7 jours.
Livraison à partir de 0,01 €
-5 % Retrait en magasin avec la carte Mollat
en savoir plus
pdf
20,99 €
Protection: Digital watermarking
Acheter en numérique

Résumé

Cet ouvrage constitue une introduction à deux outils de calcul logique du premier ordre, soit le calcul en arbres de consistance et le calcul en déduction naturelle. De nombreux exemples et exercices, accompagnés de leurs solutions, aideront l'étudiant à progresser vers des calculs toujours plus complexes et à raffiner ses méthodes de calcul logique.

Quatrième de couverture

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 calcul en arbres de consistance et le calcul en déduction naturelle. La première partie, centrée sur la notion de structure propositionnelle, expose les concepts, les objets et les méthodes propres à la logique propositionnelle. Dans la deuxième partie, la logique propositionnelle est étendue à la logique prédicative au moyen de la quantification et de concepts caractéristiques d'un langage du premier ordre. Les deux outils de calcul sont ensuite enrichis de manière à pouvoir traiter des fonctions propositionnelles, soit des prédicats du premier ordre.De nombreux exemples et exercices, accompagnés de leurs solutions, aideront l'étudiant à progresser vers des calculs toujours plus complexes et à raffiner ses méthodes de calcul logique.

Fiche Technique

Paru le : 02/04/2015

Thématique : Mathématiques 1er Cycle

Auteur(s) : Auteur : Yves Bouchard

Éditeur(s) : PRESSES DE L'UNIVERSITÉ DU QUÉBEC (PUQ)

Collection(s) : Non précisé.

Série(s) : Non précisé.

ISBN : 978-2-7605-4209-9

EAN13 : 9782760542099

Format : Non précisé.

Reliure : Broché

Pages : Non précisé.

Hauteur : - cm / Largeur : - cm

Épaisseur : - cm

Poids : - g