2013, ISBN: 9783642617225
eBooks, eBook Download (PDF), Diese Absicht wurde verstarkt durch den aueren Umstand, da in zunehmendem Mae Mathematikstudenten der Munchner Universitat bei mir Logik als Nebenfach wahlte… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
ISBN: 9783642617225
Diese Absicht wurde verstärkt durch den äußeren Umstand, daß in zunehmendem Maße Mathematikstudenten der Münchner Universität bei mir Logik als Nebenfach wählten. Da diese Kandidaten meis… Mehr…
Springer.com Nr. 978-3-642-61722-5. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
ISBN: 9783642617225
Strukturtypen der Logik ab 69.99 € als pdf eBook: . Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik, Medien > Bücher, Strukturtypen der Logik - eBook als pdf von - Springe… Mehr…
Hugendubel.de Nr. 33534841. Versandkosten:, , DE. (EUR 0.00) Details... |
ISBN: 9783642617225
*Strukturtypen der Logik* / pdf eBook für 98.9 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik Medien > Bücher nein eBook als pdf eBooks > Fachthemen & Wissenschaft > M… Mehr…
Hugendubel.de Versandkosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
ISBN: 9783642617225
Strukturtypen der Logik ab 98.9 € als pdf eBook: . Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik, Medien > Bücher nein eBook als pdf, Springer-Verlag GmbH
Hugendubel.de Versandkosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Strukturtypen der Logik - neues Buch
2013, ISBN: 9783642617225
eBooks, eBook Download (PDF), Diese Absicht wurde verstarkt durch den aueren Umstand, da in zunehmendem Mae Mathematikstudenten der Munchner Universitat bei mir Logik als Nebenfach wahlte… Mehr…
ISBN: 9783642617225
Diese Absicht wurde verstärkt durch den äußeren Umstand, daß in zunehmendem Maße Mathematikstudenten der Münchner Universität bei mir Logik als Nebenfach wählten. Da diese Kandidaten meis… Mehr…
ISBN: 9783642617225
Strukturtypen der Logik ab 69.99 € als pdf eBook: . Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik, Medien > Bücher, Strukturtypen der Logik - eBook als pdf von - Springe… Mehr…
ISBN: 9783642617225
*Strukturtypen der Logik* / pdf eBook für 98.9 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik Medien > Bücher nein eBook als pdf eBooks > Fachthemen & Wissenschaft > M… Mehr…
ISBN: 9783642617225
Strukturtypen der Logik ab 98.9 € als pdf eBook: . Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik, Medien > Bücher nein eBook als pdf, Springer-Verlag GmbH
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Strukturtypen der Logik
EAN (ISBN-13): 9783642617225
Erscheinungsjahr: 2013
Herausgeber: Springer-Verlag GmbH
Buch in der Datenbank seit 2017-05-09T14:53:57+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-06-03T12:25:05+02:00 (Berlin)
ISBN/EAN: 9783642617225
ISBN - alternative Schreibweisen:
978-3-642-61722-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: matthias varga von kibéd, von kibed
Titel des Buches: strukturtypen der logik
Daten vom Verlag:
Titel: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie; Strukturtypen der Logik
Verlag: Springer; Springer Berlin
526 Seiten
Erscheinungsjahr: 2013-03-12
Berlin; Heidelberg; DE
Sprache: Deutsch
139,99 € (DE)
139,99 € (AT)
158,50 CHF (CH)
Available
XV, 526 S.
EA; E107; eBook; Nonbooks, PBS / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Berechenbarkeitstheorie; Beweis; Kalkül; Kardinalzahl; Kompaktheitssatz; Lemma; Logik; Löwenheim-Skolem-Theorem; Mengenlehre; Relativierung; Semantik; Sequenzenkalkül; Sätze von Lindström; mathematische Logik; Äquivalenz; B; Mathematical Logic and Foundations; Mathematics and Statistics; Mathematische Grundlagen; BC
Einleitung: Inhaltsübersicht.- 1. Vorbereitungen.- 1.1 Logische und semiotische Präliminarien.- 1.2 Zur Bezeichnungsweise und Symbolik.- 1.3 Grundbegriffe der Mengenlehre.- I. Logik.- 2. Junktoren.- 3. Quantoren.- 4. Kalküle.- 5. Semantiken: Spielarten der denotationellen und nicht-denotationellen Semantik.- 6. Normalformen.- 7. Identität.- 8. Theorien.- II. Metalogische Ergebnisse.- 9. Kompaktheit.- 10. Das Fundamentaltheorem der Quantorenlogik.- 11. Analytische und synthetische Konsistenz. Zwei Typen von Vollständigkeits-beweisen: solche vom Gödel-Gentzen-Typ und solche vom Henkin-Typ.- 12. Unvollständigkeit und Unentscheidbarkeit.- 13. Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der Wahrheit.- 14. Abstrakte Semantik: Semantische Strukturen und ihre Isomorphie-Arten.- 15. Auszeichnung der Logik erster Stufe: Die Sätze von Lindström.- Bibliographie.- Autorenregister.- Verzeichnis der Symbole und Abkürzungen.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783642617263 Selbstreferenz Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström (Wolfgang Stegmuller)
- 9783642617263 Selbstreferenz Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström (Wolfgang Stegmuller)
- 9783540122104 Strukturtypen der Logik (Wolfgang Stegmüller)
- 9783540122135 Selbstreferenz Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström (Matthias Varga von Kibéd)
- Strukturtypen der Logik - Matthias Varga von Kibed, Mat
< zum Archiv...