Login

Schlaudt, Oliver

Louis Couturat -Traité de Logique algorithmique

Schlaudt, Oliver - Louis Couturat -Traité de Logique algorithmique, ebook

136,40€

Ebook, PDF with Adobe DRM
ISBN: 9783034604116
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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égationa

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 constantesa

Oliver Schlaudt, Mohsen Sakhri

12. Calcul des jugements variables (ou des probabilités)1

Oliver Schlaudt, Mohsen Sakhri

13. Comparaison avec la Logique classique1

Oliver Schlaudt, Mohsen Sakhri

14. Conclusions
Oliver Schlaudt, Mohsen Sakhri

15. Variants and Annotations
Oliver Schlaudt, Mohsen Sakhri

Keywords: Mathematics, History of Mathematics

Author(s)
 
Publisher
Springer
Publication year
2010
Language
en
Edition
1
Series
Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives
Category
Natural Sciences
Format
Ebook
eISBN (PDF)
9783034604116

Similar titles