Coop UQAM | Coopsco

Créer mon profil | Mot de passe oublié?

Magasiner par secteur

Matériel obligatoire et recommandé

Voir les groupes
Devenir membre

Nos partenaires

UQAM
ESG UQAM
Réseau ESG UQAM
Bureau des diplômés
Centre sportif
Citadins
Service de la formation universitaire en région
Université à distance
Société de développement des entreprises culturelles - SODEC
L'institut du tourisme et de l'hotellerie - ITHQ
Pour le rayonnement du livre canadien
Presses de l'Université du Québec
Auteurs UQAM : Campagne permanente de promotion des auteures et auteurs UQAM
Fondation de l'UQAM
Écoles d'été en langues de l'UQAM
Canal savoir
L'économie sociale, j'achète
Millénium Micro



Recherche avancée...

Calcul en logique du premier ordre


Éditeur : Presses de l'Université du Québec
ISBN papier: 9782760542099
ISBN numérique PDF: 9782760542105
Parution : 2015
Catégorisation : Livres numériques / Science / Littérature scientifique / Littérature scientifique générale

Formats disponibles

Format Qté. disp. Prix* Commander
Livre papier En rupture de stock** Prix membre : 35,15 $
Prix non-membre : 37,00 $
x
Numérique PDF
Protection filigrane***
Illimité Prix : 29,99 $
x

*Les prix sont en dollars canadien. Taxes et frais de livraison en sus.
**Ce produits est en rupture de stock mais sera expédié dès qu'ils sera disponible.
***Ce produit est protégé en vertu des droits d'auteurs.




Description

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.