Cantitate/Preț
Produs

Mathematische Gesetze der Logik I: Vorlesungen über Aussagenlogik: Grundlehren der mathematischen Wissenschaften, cartea 69

Autor H. Arnold Schmidt
de Limba Germană Paperback – 29 feb 2012

Din seria Grundlehren der mathematischen Wissenschaften

Preț: 36384 lei

Nou

Puncte Express: 546

Preț estimativ în valută:
6964 7239$ 5769£

Carte tipărită la comandă

Livrare economică 05-19 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642947810
ISBN-10: 3642947816
Pagini: 580
Ilustrații: XXIV, 556 S.
Dimensiuni: 155 x 235 x 34 mm
Greutate: 0.8 kg
Ediția:1959
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Grundlehren der mathematischen Wissenschaften

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Erster Teil. Alternäre Aussagenlogik..- § 1. Vorläufige Abgrenzung der Aussagenlogik.- 1. Abschnitt. Algebra der Logik..- I. Grundlegende Gesetze des Booleschen Verbandes.- II. Strukturelle Einblicke in die logische Algebra.- III. Widerspruchsfreiheit, Vollständigkeit und Entscheidungsdefinitheit der logischen Algebra.- IV. Zusätze zum Ausbau und zur Interpretation der logischen Algebra.- V. Algebra der ??-Logik.- 2. Abschnitt. Wertende Logik..- VI. Wahrheitswertung, Verknüpfungsbasen.- VII. Wahrformen.- VIII. Verallgemeinerte Wahrheitswertung (Quasiwahrheitswertung).- 3. Abschnitt. Grundlegende Begriffe zur deduktiven Logik..- IX. Kodifikation.- X. Grundlegende syntaktische Begriffsbildungen.- XI. Grundsätzliches zur deduktiven Aussagenlogik.- 4. Abschnitt. Normaldeduktive alternäre Aussagenlogik..- XII. Das Deduktionstheorem und Anschließendes.- XIII. Normaldeduktive alternäre v? ?-Aussagenlogik.- XIV. Normaldeduktive alternäre ??-Aussagenlogik.- 5. Abschnitt. Aufschichtende alternäre Aussagenlogik..- XV. Natürliche alternäre aufschichtende Aussagenlogik.- XVI. Kürzungserweiterte aufschichtende Aussagenlogik.- XVII. Schnittelimination beim natürlichen kürzungserweiterten KodifikatK.- XVIII. Aufschichtende alternäre ??-Logik.- Zweiter Teil. Nichtalternäre Aussagenlogik..- § 107. Das Ziel der nichtalternären Logik.- 6. Abschnitt. Die derivative Aussagenlogik und ihre normaldeduktive Kodifikation..- XIX. Derivative ?- und ??-Logik.- XX. Derivative ?^- und ?^?-Logik.- XXI. Entwickelnde derivative Implikationslogik.- XXII. Natürliche derivative Logik.- 7. Abschnitt. Normaldeduktive intuitionistische Aussagenlogik..- XXIII. Die normaldeduktive Behandlung der intuitionistischen Aussagenlogik.- XXIV. CharakteristischeEigenschaften der intuitionistischen Aussagenlogik.- 8. Abschnitt. Aufschichtende derivative und intuitionistische Aussagenlogik..- XXV. Die aufschichtende Behandlung der derivativen und der intuitionistischen Aussagenlogik.- XXVI. Die Angemessenheit der aufschichtenden Kodifikate.- 9. Abschnitt. Handliches Entscheidungsverfahren für die natürliche derivative und intuitionistische Aussagenlogik..- XXVII. Vorbereitung des Entscheidungsverfahrens.- XXVIII. Das Entscheidungsverfahren.- 10. Abschnitt. Strikte Aussagenlogik..- § 161. Einführendes zur strikten Logik.- XXIX. Engere strikte Aussagenlogik.- XXX. Eine erste Erweiterung der strikten Logik.- 11. Abschnitt. Strikte Aussagen- und Modalitätenlogik..- XXXI. Die Modalitäten notwendig“ und „möglich“ in der strikten Logik.- XXXII. Die Modalitätenaxiome. Verschärfte strikte Logik.- XXXIII. Entscheidungsverfahren für die verschärfte strikte Logik.- XXXIV. Die Modalitäten „offen“ und „zufällig“ in der strikten Logik.- § 192. Vorläufiges Beispiel einer aussagenlogisch fundierten Theorie.- Übersicht über die logischen Zeichen.- Verzeichnis der wichtigsten numerierten Formen.- Literatur.