Logga in

Schlaudt, Oliver

Louis Couturat -Traité de Logique algorithmique

Schlaudt, Oliver - Louis Couturat -Traité de Logique algorithmique, e-bok

120,95€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9783034604116
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

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

Nyckelord: Mathematics, History of Mathematics

Författare
 
Utgivare
Springer
Utgivningsår
2010
Språk
en
Utgåva
1
Serie
Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives
Sidantal
8 sidor
Kategori
Naturvetenskaper
Format
E-bok
eISBN (PDF)
9783034604116

Liknande e-böcker