Loading…

Calcul en logique du premier ordre /

Un calcul logique, au sens large, est une methode de resolution appliquee 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...

Full description

Bibliographic Details
Main Author: Bouchard, Yves, 1963- (auteur.)
Corporate Author: Bibliotheque numerique canadienne (Firme) (distributeur.)
Format: Electronic eBook
Language:Francés
Published: Ottawa, Ontario : Canadian Electronic Library, 2016.
Series:Book collections on Project MUSE.
Subjects:
Online Access:Texto completo
Table of Contents:
  • Introduction
  • I. Logique propositionnelle
  • 1. Les connecteurs logiques
  • 2. Les arbres de consistance I
  • 3. La deduction naturelle I
  • II. Logique predicative
  • 4. La quantification
  • 5. Les arbres de consistance II
  • 6. La deduction naturelle II.