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

MARC

LEADER 00000cam a22000004a 4500
001 musev2_44639
003 MdBmJHUP
005 20230905044654.0
006 m o d
007 cr||||||||nn|n
008 160318t20162015quc o 00 0 fre d
020 |a 9782760542105 
020 |z 9782760542099 
040 |a MdBmJHUP  |c MdBmJHUP 
100 1 |a Bouchard, Yves,  |d 1963-  |e auteur. 
245 1 0 |a Calcul en logique du premier ordre /   |c Yves Bouchard. 
264 1 |a Ottawa, Ontario :  |b Canadian Electronic Library,  |c 2016. 
264 3 |a Baltimore, Md. :  |b Project MUSE,   |c 0000 
264 4 |c ©2016. 
300 |a 1 online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
505 0 |a 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. 
520 |a 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 formalise (comme l'arithmetique), liees entre elles par une dependance 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 deduction naturelle. La premiere partie, centree sur la notion de structure propositionnelle, expose les concepts, les objets et les methodes propres à la logique propositionnelle. Dans la deuxieme partie, la logique propositionnelle est etendue à la logique predicative au moyen de la quantification et de concepts caracteristiques d'un langage du premier ordre. Les deux outils de calcul sont ensuite enrichis de maniere à pouvoir traiter des fonctions propositionnelles, soit des predicats du premier ordre. De nombreux exemples et exercices, accompagnes de leurs solutions, aideront l'etudiant à progresser vers des calculs toujours plus complexes et à raffiner ses methodes de calcul logique. 
588 |a Description based on print version record. 
650 7 |a Propositional calculus.  |2 fast  |0 (OCoLC)fst01079271 
650 7 |a First-order logic.  |2 fast  |0 (OCoLC)fst00925803 
650 6 |a Calcul propositionnel. 
650 6 |a Logique du premier ordre. 
650 0 |a Propositional calculus. 
650 0 |a First-order logic. 
655 6 |a Livres electroniques. 
655 7 |a Electronic books.   |2 local 
710 2 |a Bibliotheque numerique canadienne (Firme),  |e distributeur. 
710 2 |a Project Muse.  |e distributor 
830 0 |a Book collections on Project MUSE. 
856 4 0 |z Texto completo  |u https://projectmuse.uam.elogim.com/book/44639/ 
945 |a Project MUSE - Custom Collection 

Ejemplares similares