Scribd Logo

Langue

Importer

Bienvenue sur Scribd !

Profitez de millions de livres numériques, de livres audio, de magazines et plus encore avec un essai gratuit

Seulement $11.99/mois après l'essai. Annulez à tout moment.

Calcul en logique du premier ordre
Calcul en logique du premier ordre
Calcul en logique du premier ordre
Livre électronique259 pages3 heures

Calcul en logique du premier ordre

Par Yves Bouchard

()

Lire l'aperçu

À propos de ce livre électronique

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.
LangueFrançais
ÉditeurPresses de l'Université du Québec
Date de sortie4 févr. 2015
ISBN9782760542105
Calcul en logique du premier ordre
Lire l'aperçu

Lié à Calcul en logique du premier ordre

Livres électroniques liés

Articles associés

  • Article

    GP Racing

    3 déc. 2020

    Président du Conseil de surveillance Patrick Casasnovas Présidente du Directoire Stéphanie Casasnovas Directeur général Frédéric de Watrigant Éditeur Philippe Budillon...................................+ 32 00 Directeur de la rédaction Alain Lecorre.

    Lecture de 1 min

  • Article

    Cadeau Du Mois À Vous De Jouer!

    14 oct. 2020

    Rien de plus simple, il suffit de retourner avant la date limite indiquée ci-dessous (cachet de la poste faisant foi) le coupon-réponse ci-dessous préalablement découpé et complètement rempli. Une fois rassemblées, toutes les bonnes réponses donneron

    Lecture de 1 min

Catégories liées

Avis sur Calcul en logique du premier ordre

0 évaluation

0 notation0 avis

Qu'avez-vous pensé ?

Appuyer pour évaluer

L'avis doit comporter au moins 10 mots

    Aperçu du livre

    Calcul en logique du premier ordre - Yves Bouchard

    Vous aimez cet aperçu ?
    Page 1 sur 1