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...

Descripción completa

Detalles Bibliográficos
Autor principal: Bouchard, Yves, 1963- (auteur.)
Autor Corporativo: Bibliotheque numerique canadienne (Firme) (distributeur.)
Formato: Electrónico eBook
Idioma:Francés
Publicado: Ottawa, Ontario : Canadian Electronic Library, 2016.
Colección:Book collections on Project MUSE.
Temas:
Propositional calculus.
First-order logic.
Calcul propositionnel.
Logique du premier ordre.
Livres electroniques.
Electronic books.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares