Schlaudt, Oliver
Louis Couturat -Traité de Logique algorithmique
1. Introduction
Oliver Schlaudt, Mohsen Sakhri
2. Définitions et notations : A. Logique des concepts
Oliver Schlaudt, Mohsen Sakhri
3. Définitions et notations : B. Logique des propositions
Oliver Schlaudt, Mohsen Sakhri
4. Principes
Oliver Schlaudt, Mohsen Sakhri
5. Lois de la multiplication et de l’addition
Oliver Schlaudt, Mohsen Sakhri
6. Lois de la négation
Oliver Schlaudt, Mohsen Sakhri
7. Développement des fonctions
Oliver Schlaudt, Mohsen Sakhri
8. Théorie des équations
Oliver Schlaudt, Mohsen Sakhri
9. Sur les opérations inverses : Soustraction et division
Oliver Schlaudt, Mohsen Sakhri
10. Théorie des inégalités
Oliver Schlaudt, Mohsen Sakhri
11. Calcul des propositions constantes
Oliver Schlaudt, Mohsen Sakhri
12. Calcul des jugements variables (ou des probabilités)
Oliver Schlaudt, Mohsen Sakhri
13. Comparaison avec la Logique classique
Oliver Schlaudt, Mohsen Sakhri
14. Conclusions
Oliver Schlaudt, Mohsen Sakhri
15. Variants and Annotations
Oliver Schlaudt, Mohsen Sakhri
Avainsanat: Mathematics, History of Mathematics
- Tekijä(t)
- Schlaudt, Oliver
- Sakhri, Mohsen
- Julkaisija
- Springer
- Julkaisuvuosi
- 2010
- Kieli
- en
- Painos
- 1
- Sarja
- Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives
- Sivumäärä
- 8 sivua
- Kategoria
- Eksaktit luonnontieteet
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783034604116