Éléments de logique formelle / Gérard Chazal [ Livre]

Auteur principal: Chazal, GérardLangue: Français.Publication : Paris : Hermès, 1996Description : 224 p. ; 24 cmISBN: 2866015487.Classification: F 4 1 Logique mathématiqueRésumé: Sommaire 1. Nature et brève histoire de la logique 2. La proposition chez Aristote 3. Le syllogisme 4. Déduction et résolution des syllogismes 5. L'Ecole de Mégare et les stoïciens 6. Le calcul des propositions : conjonction et disjonction inclusive 7. Le calcul des propositions : disjonction exclusive, implication et équivalence 8. Le calcul des propositions : généralisation de la notion d'opérateur logique 9. Le calcul des propositions : les formes normales 10. Le calcul des propositions : notions de déduction 11. L'analyse de la proposition : la notion de prédicat 12. La quantification 13. La quantification et les opérateurs binaires : portée d'un quantificateur 14. Interprétation ensembliste du calcul des prédicats : éléments de théorie des ensembles 15. Opérateurs sur les ensembles 16. Les relations 17. Les propriétés des relations binaires 18. Fonctions et applications 19. Déduction et démonstration dans le calcul des prédicats 20. Langage - Métalangage - Syntaxe - Sémantique - Langage formel - Système formel.Sujet - Nom commun: Logique symbolique et mathématique | Logique | Calcul propositionnel | Calcul des prédicats
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Magasin (archives)
F 4 1 CHA (Browse shelf) Available F 4 1 Logique mathématique 00001658

Bibliogr. p. 223-224

Sommaire
1. Nature et brève histoire de la logique
2. La proposition chez Aristote
3. Le syllogisme
4. Déduction et résolution des syllogismes
5. L'Ecole de Mégare et les stoïciens
6. Le calcul des propositions : conjonction et disjonction inclusive
7. Le calcul des propositions : disjonction exclusive, implication et équivalence
8. Le calcul des propositions : généralisation de la notion d'opérateur logique
9. Le calcul des propositions : les formes normales
10. Le calcul des propositions : notions de déduction
11. L'analyse de la proposition : la notion de prédicat
12. La quantification
13. La quantification et les opérateurs binaires : portée d'un quantificateur
14. Interprétation ensembliste du calcul des prédicats : éléments de théorie des ensembles
15. Opérateurs sur les ensembles
16. Les relations
17. Les propriétés des relations binaires
18. Fonctions et applications
19. Déduction et démonstration dans le calcul des prédicats
20. Langage - Métalangage - Syntaxe - Sémantique - Langage formel - Système formel

Powered by Koha