Calcul en logique du premier ordre

Yves Bouchard (Auteur)

voir tout

Descriptif détaillé

media/pim/TITELIVE/65_9782760542099_1_75.jpg

media/pim/TITELIVE/66_9782760542099_4_75.jpg

Calcul en logique du premier ordre

Vendu et expédié par : Librinter

État : Neuf

en stock vendeur

Livraison 0.00€ à domicile dès le 00/00/00

DISPONIBLE SOUS 6 JOURS

Livraison en magasin dès le 00/00/00

stock en magasin

Retrouvez le produit près de chez vous.

description

descriptif du fournisseur

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.

Calcul en logique du premier ordre

Calcul en logique du premier ordre

Yves Bouchard

On vous recommande avec votre achat

Calcul en logique du premier ordre

Calcul en logique du premier ordre

32,00€

+

voir mon panier

Découvrez aussi

Livres scolaires Livre

Livre

Meilleures ventes : Livre • Nouveautés : Livre • Précommandes : Livre • Livres Audio • Livres universitaires • Sport - Loisir - Nature • Livres scolaires • Livre Vie Pratique • Art - Culture - Société • Livres pour ados et jeunes adultes ...

... Mangas • Comics • BD • Romans littérature • Coups de cœur : Livre • Booktok • Meilleurs Livres 2022 • Livres à prix réduits • Les lectures qui font du bien • Livres d'occasion • Journée mondiale de l'environnement : notre sélection Livres ...

... Livres formation professionnelle • Biographies et autobiographies • Livre Actualité, Politique et Société • Livre Histoire et Géographie • Livres d'Art • Livre Sciences Humaines • Meilleurs livres 2023 • Livre tourisme et voyage ...

... Le meilleur du livre en 2024 • Livre Saint-Valentin • Auteurs • Des chats et des hommes • Livres Mythologie • Les livres à lire une fois dans sa vie • Livres VO • Policiers thrillers polars • SF Fantasy fantastique • Livres pass culture ...

... Accessoires de lecture • Meilleurs livres 2025

Produits similaires

Bescherelle - La conjugaison pour tous (nouvelle édition) • Claridad : grammaire, civilisation, vocabulaire (5e édition) • Réussir en production d'écrits - CE2-CM1-CM2 • Boite à compter x 8 • Bescherelle : Conjugaison ...

... Dictées et histoire des arts - Voyage dans le temps - Cycle 3 • Remplacer du CP au CM2 - cycles 2 et 3 • Le Brevet, c'est dans la Boîte ! Tout le programme de 3e en 200 fiches (édition 2027) • Accumuler, superposer, créer : Autour de 3 couleurs par période. ...

... Bescherelle : Maîtriser la grammaire anglaise • Réussir son entrée en vocabulaire - Cycle 2 (édition 2025) • Domaine d'activités 3 : participation au développement commercial international : BTS CI 1re et 2ème années (édition 2021)

Réservez en ligne &
retirez en magasin sous 2h

Livraison gratuite en
magasin dès le lendemain

Paiement sécurisé en 3 ou
4 fois sans frais par carte bancaire

Retours gratuits
sous 30 jours

Réseaux sociaux

Newsletter

Service clients

Numéro cristal : 09 86 86 02 93

Nos conseillers ont réponse à tout, enfin presque.
Contactez-les du lundi au samedi de 8h à 19h.