Calcul en logique du premier ordre

Descriptif détaillé

media/pim/13_fa977280-1fbf-4e12-a700-186c399af76d.jpeg

ajouter

Calcul en logique du premier ordre

Pagination : 306
EAN : 9782760542105
Protection numérique : Digital watermarking
Langue du livre : Français

ebook

Achat immédiat, sans abonnement.

Le saviez vous ?

Lisez votre e-book sur ordinateur, tablette et mobile grâce aux applications :

Télécharger
sur Google Play

Télécharger
sur App Store

Télécharger
sur Ordinateur

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

On vous recommande avec votre achat

Calcul en logique du premier ordre

Calcul en logique du premier ordre

24,99€

+

voir mon panier

Découvrez aussi

Ebook Scolaire Ebook Sciences & Techniques Ebook et liseuses

Ebook Sciences & Techniques

Ebook Scolaire • Ebook Dictionnaires • Droit, Economie, Entreprise & Emploi • Ebook Informatique • Ebook sur les Sciences • Ebook Médecine • Ebook Paramédical • Ebook Psychologie, psychanalyse • Ebook Post Bac Concours

Ebook et liseuses

Meilleures ventes : Ebook • Meilleures ventes : Ebook • Nouveautés : Ebook • Précommandes : Ebook • Ebook littérature • Ebook Voyage • Ebook arts, culture & société • Ebook Sciences & Techniques • Ebook imaginaire • Ebook Gratuits ...

... Ebook en VO • Livre Audio • Ebook à 0,99€ • Ebook à 1,99€ • Ebook à 9,99€ • Liseuse • Ebook Romance • Ebook érotique • Ebook intégrales • Ebook Jeunes adultes • Ebook Polars et romans policiers • Ebook jeunesse & ados • Ebook Thrillers • BD Ebook ...

... Manga ebook • Comics ebook • Ebook Maison & famille • Vivlio Studio • Les 100 ebooks de l'année 2023 • Ebook Bien-Être & spiritualité • Ebook Passions & Loisirs • Meilleurs ebooks 2025

Produits similaires

Sartre à la plage - L'existentialisme dans un transat • Kant à la plage - La raison pure dans un transat • Lévi-Strauss à la plage - Un anthropologue dans un transat • Pascal à la plage - La sincérité dans un transat ...

... Evaluation des fonctions cognitives chez l’adulte - Les fondamentaux du bilan en orthophonie • Apprentissage, évaluation et rééducation de l’écriture - Du papier au numérique • Les modèles conceptuels en ergothérapie - Introduction aux concepts fondamentaux ...

... Tout-en-un DEAP - IFAP - Diplôme État Auxiliaire puériculture Programme complet - 2025-2026 • Je réussis à entrer en école d’Orthophonie - Parcoursup + Oral - Sélection 2026 • Bescherelle collège - Maths (6e, 5e, 4e, 3e) - la référence en maths pour les collégiens ...

... Pédagogie pratique - 11 histoires pour une année de langage en GS maternelle - PDF WEB - Ed. 2020 • IADE, Infirmier anesthésiste : S'entraîner à la pratique clinique avec 20 cas concrets

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.