Alfred Tarski:Einführung in die mathematische Logik. [Auf Grund d. engl. u. franz. Ausg. u.d. Erg. d. Verf. übers. von Erhard Scheibe] / Moderne Mathematik in elementarer Darstellung ; Band 5. 5. Aufl. : erw. um d. Beitr. "Wahrheit und Beweis" / [von Rainer Stuhlmann-Laeisz übers.].
- gebunden oder broschiert 1977, ISBN: 9783525405406
5. Aufl. : erw. um d. Beitr. "Wahrheit und Beweis" / [von Rainer Stuhlmann-Laeisz übers.]. 285 S. ; 24 cm; kart. Gutes Ex.; Einband stw. gering berieben; Seiten leicht nachgedunkelt. - Al… Mehr…
5. Aufl. : erw. um d. Beitr. "Wahrheit und Beweis" / [von Rainer Stuhlmann-Laeisz übers.]. 285 S. ; 24 cm; kart. Gutes Ex.; Einband stw. gering berieben; Seiten leicht nachgedunkelt. - Alfred Tarski bzw. ursprünglich Alfred Tajtelbaum oder Teitelbaum (* 14. Januar 1901 (nach anderen Quellen: 1902) in Warschau; 26. Oktober 1983 in Berkeley, USA) war ein polnisch-US-amerikanischer Mathematiker und Logiker. Alfred Tarski erarbeitete grundlegende Beiträge zu beiden Formalwissenschaften sowie zur formalen Wahrheitstheorie (Konvention T) und ist einer der Hauptvertreter der Lemberg-Warschau-Schule vor dem Zweiten Weltkrieg. (wiki) // INHALT : Aus dem Vorwort zur ersten Auflage. ----- Vorwort. ----- Zusatz zur fünften Auflage. ----- ERSTER TEIL ----- Elemente der Logik. Deduktive Methode ----- I. Über den Gebrauch der Variablen ----- Konstanten und Variablen. ----- Ausdrücke, die Variablen enthalten: Satz- und Bezeich-nungsfunktionen. ----- Aufstellung von mathematischen Lehrsätzen mit Hilfe von Variablen. Generelle und existenzielle Sätze. ----- Der Allquantor und der Existenzquantor; freie und gebundene Variablen. ----- Die Bedeutung der Variablen für die Mathematik. ----- Übungsaufgaben. ----- II. Über den Aussagenkalkül ----- Logische Konstanten; die alte und die neue Logik. ----- Der Aussagenkalkül; die Negation eines Satzes, die Konjunktion und die Disjunktion von Sätzen ----- Die Implikation oder der Bedingungssatz; die Implikation in materialer Bedeutung. ----- Der Gebrauch der Implikation in der Mathematik. ----- Die Äquivalenz von Sätzen. ----- Die Formulierung von Definitionen und ihre Regeln. ----- Lehrsätze des Aussagenkalküls. ----- Symbolik des Aussagenkalküls; Wahrheitsfunktionen und Wahrheitstafeln. ----- Anwendung von Lehrsätzen des Aussagenkalküls in mathematischen Beweisen. ----- Schlußregeln, vollständige Beweise. ----- Übungsaufgaben ----- III. Über die Theorie der Identität ----- Logische Begriffe außerhalb des Aussagenkalküls; Begriff der Identität. ----- Wichtigste Lehrsätze aus der Theorie der Identität. ----- Identität von Dingen und Identität ihrer Bezeichnungen; der Gebrauch von Anführungsstrichen. ----- Die Gleichheit in der Arithmetik und Geometrie und ihre Beziehung zu der logischen Identität. ----- Numerische Quantoren. ----- Übungsaufgaben. ----- IV. Über die Klassentheorie ----- Mengen und ihre Elemente. ----- Mengen und Satzfunktionen einer freien Variablen. ----- Die Allklasse und die Nullklasse. ----- Grundbeziehungen zwischen Mengen. ----- Operationen mit Mengen. ----- Gleichmächtige Mengen, Anzahl der Elemente einer Menge, endliche und unendliche Mengen; Arithmetik als Teil der ----- Logik. ----- Übungsaufgaben. ----- V. Über die Relationstheorie ----- Beziehungen, ihre Bereiche und Gegenbereiche; Beziehungen und Satzfunktionen mit zwei freien Variablen. ----- Der Relationskalkül. ----- Einige Eigenschaften von Relationen. ----- Beziehungen, die zugleich reflexiv, symmetrisch und transitiv sind. ----- Ordnungsbeziehungen; Beispiele anderer Beziehungen. ----- Eindeutige Beziehungen oder Funktionen. ----- Umkehrbare Funktionen und eineindeutige Zuordnungen. ----- Mehrgliedrige Beziehungen; Funktionen von mehreren Variablen und Operationen. ----- Die Bedeutung der Logik für andere Wissenschaften. ----- Übungsaufgaben. ----- VI. Über die deduktive Methode ----- Fundamentale Bestandteile einer deduktiven Theorie: Grundbegriffe und definierte Begriffe, Axiome und Theoreme. ----- Modell und Interpretation einer deduktiven Theorie ----- (u.v.a.m.) ISBN 9783525405406 Versand D: 4,50 EUR Mathematische, Logik, Mathematik, [PU:Göttingen : Vandenhoeck und Ruprecht,]<
| | buchfreund.deFundus-Online GbR Borkert, Schwarz, Zerfaß, 10785 Berlin Versandkosten:Versandkosten innerhalb der BRD. (EUR 4.50) Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Tarski, Alfred:Einführung in die mathematische Logik. [Auf Grund d. engl. u. franz. Ausg. u.d. Erg. d. Verf. übers. von Erhard Scheibe] / Moderne Mathematik in elementarer Darstellung ; Band 5.
- Taschenbuch 1977, ISBN: 3525405405
[EAN: 9783525405406], Gebraucht, sehr guter Zustand, [PU: Göttingen : Vandenhoeck und Ruprecht], MATHEMATISCHE LOGIK, MATHEMATIK, 285 S. ; 24 cm; Gutes Ex.; Einband stw. gering berieben; … Mehr…
[EAN: 9783525405406], Gebraucht, sehr guter Zustand, [PU: Göttingen : Vandenhoeck und Ruprecht], MATHEMATISCHE LOGIK, MATHEMATIK, 285 S. ; 24 cm; Gutes Ex.; Einband stw. gering berieben; Seiten leicht nachgedunkelt. - Alfred Tarski bzw. ursprünglich Alfred Tajtelbaum oder Teitelbaum (* 14. Januar 1901 (nach anderen Quellen: 1902) in Warschau; † 26. Oktober 1983 in Berkeley, USA) war ein polnisch-US-amerikanischer Mathematiker und Logiker. Alfred Tarski erarbeitete grundlegende Beiträge zu beiden Formalwissenschaften sowie zur formalen Wahrheitstheorie (Konvention T) und ist einer der Hauptvertreter der Lemberg-Warschau-Schule vor dem Zweiten Weltkrieg. (wiki) // INHALT : Aus dem Vorwort zur ersten Auflage. ----- Vorwort. ----- Zusatz zur fünften Auflage. ----- ERSTER TEIL ----- Elemente der Logik. Deduktive Methode ----- I. Über den Gebrauch der Variablen ----- Konstanten und Variablen. ----- Ausdrücke, die Variablen enthalten: Satz- und Bezeich-nungsfunktionen. ----- Aufstellung von mathematischen Lehrsätzen mit Hilfe von Variablen. Generelle und existenzielle Sätze. ----- Der Allquantor und der Existenzquantor; freie und gebundene Variablen. ----- Die Bedeutung der Variablen für die Mathematik. ----- Übungsaufgaben. ----- II. Über den Aussagenkalkül ----- Logische Konstanten; die alte und die neue Logik. ----- Der Aussagenkalkül; die Negation eines Satzes, die Konjunktion und die Disjunktion von Sätzen ----- Die Implikation oder der Bedingungssatz; die Implikation in materialer Bedeutung. ----- Der Gebrauch der Implikation in der Mathematik. ----- Die Äquivalenz von Sätzen. ----- Die Formulierung von Definitionen und ihre Regeln. ----- Lehrsätze des Aussagenkalküls. ----- Symbolik des Aussagenkalküls; Wahrheitsfunktionen und Wahrheitstafeln. ----- Anwendung von Lehrsätzen des Aussagenkalküls in mathematischen Beweisen. ----- Schlußregeln, vollständige Beweise. ----- Übungsaufgaben ----- III. Über die Theorie der Identität ----- Logische Begriffe außerhalb des Aussagenkalküls; Begriff der Identität. ----- Wichtigste Lehrsätze aus der Theorie der Identität. ----- Identität von Dingen und Identität ihrer Bezeichnungen; der Gebrauch von Anführungsstrichen. ----- Die Gleichheit in der Arithmetik und Geometrie und ihre Beziehung zu der logischen Identität. ----- Numerische Quantoren. ----- Übungsaufgaben. ----- IV. Über die Klassentheorie ----- Mengen und ihre Elemente. ----- Mengen und Satzfunktionen einer freien Variablen. ----- Die Allklasse und die Nullklasse. ----- Grundbeziehungen zwischen Mengen. ----- Operationen mit Mengen. ----- Gleichmächtige Mengen, Anzahl der Elemente einer Menge, endliche und unendliche Mengen; Arithmetik als Teil der ----- Logik. ----- Übungsaufgaben. ----- V. Über die Relationstheorie ----- Beziehungen, ihre Bereiche und Gegenbereiche; Beziehungen und Satzfunktionen mit zwei freien Variablen. ----- Der Relationskalkül. ----- Einige Eigenschaften von Relationen. ----- Beziehungen, die zugleich reflexiv, symmetrisch und transitiv sind. ----- Ordnungsbeziehungen; Beispiele anderer Beziehungen. ----- Eindeutige Beziehungen oder Funktionen. ----- Umkehrbare Funktionen und eineindeutige Zuordnungen. ----- Mehrgliedrige Beziehungen; Funktionen von mehreren Variablen und Operationen. ----- Die Bedeutung der Logik für andere Wissenschaften. ----- Übungsaufgaben. ----- VI. Über die deduktive Methode ----- Fundamentale Bestandteile einer deduktiven Theorie: Grundbegriffe und definierte Begriffe, Axiome und Theoreme. ----- Modell und Interpretation einer deduktiven Theorie ----- (u.v.a.m.) ISBN 9783525405406 Sprache: Deutsch Gewicht in Gramm: 357 5. Aufl. : erw. um d. Beitr. "Wahrheit und Beweis" / [von Rainer Stuhlmann-Laeisz übers.]., Books<
| | AbeBooks.deFundus-Online GbR Borkert Schwarz Zerfaß, Berlin, Germany [8335842] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten: EUR 4.00 Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Tarski, Alfred:Einführung in die mathematische Logik. [Auf Grund d. engl. u. franz. Ausg. u.d. Erg. d. Verf. übers. von Erhard Scheibe] / Moderne Mathematik in elementarer Darstellung ; Band 5. 5. Aufl. : erw. um d. Beitr. "Wahrheit und Beweis" / [von Rainer Stuhlmann-Laeisz übers.].
- gebunden oder broschiert 1977, ISBN: 9783525405406
Göttingen, Vandenhoeck und Ruprecht, 285 S. ; 24 cm; kart. Gutes Ex.; Einband stw. gering berieben; Seiten leicht nachgedunkelt. - Alfred Tarski bzw. ursprünglich Alfred Tajtelbaum oder T… Mehr…
Göttingen, Vandenhoeck und Ruprecht, 285 S. ; 24 cm; kart. Gutes Ex.; Einband stw. gering berieben; Seiten leicht nachgedunkelt. - Alfred Tarski bzw. ursprünglich Alfred Tajtelbaum oder Teitelbaum (* 14. Januar 1901 (nach anderen Quellen: 1902) in Warschau; ? 26. Oktober 1983 in Berkeley, USA) war ein polnisch-US-amerikanischer Mathematiker und Logiker. Alfred Tarski erarbeitete grundlegende Beiträge zu beiden Formalwissenschaften sowie zur formalen Wahrheitstheorie (Konvention T) und ist einer der Hauptvertreter der Lemberg-Warschau-Schule vor dem Zweiten Weltkrieg. ? (wiki) // INHALT : Aus dem Vorwort zur ersten Auflage. ----- Vorwort. ----- Zusatz zur fünften Auflage. ----- ERSTER TEIL ----- Elemente der Logik. Deduktive Methode ----- I. Über den Gebrauch der Variablen ----- Konstanten und Variablen. ----- Ausdrücke, die Variablen enthalten: Satz- und Bezeich-nungsfunktionen. ----- Aufstellung von mathematischen Lehrsätzen mit Hilfe von Variablen. Generelle und existenzielle Sätze. ----- Der Allquantor und der Existenzquantor; freie und gebundene Variablen. ----- Die Bedeutung der Variablen für die Mathematik. ----- Übungsaufgaben. ----- II. Über den Aussagenkalkül ----- Logische Konstanten; die alte und die neue Logik. ----- Der Aussagenkalkül; die Negation eines Satzes, die Konjunktion und die Disjunktion von Sätzen ----- Die Implikation oder der Bedingungssatz; die Implikation in materialer Bedeutung. ----- Der Gebrauch der Implikation in der Mathematik. ----- Die Äquivalenz von Sätzen. ----- Die Formulierung von Definitionen und ihre Regeln. ----- Lehrsätze des Aussagenkalküls. ----- Symbolik des Aussagenkalküls; Wahrheitsfunktionen und Wahrheitstafeln. ----- Anwendung von Lehrsätzen des Aussagenkalküls in mathematischen Beweisen. ----- Schlußregeln, vollständige Beweise. ----- Übungsaufgaben ----- III. Über die Theorie der Identität ----- Logische Begriffe außerhalb des Aussagenkalküls; Begriff der Identität. ----- Wichtigste Lehrsätze aus der Theorie der Identität. ----- Identität von Dingen und Identität ihrer Bezeichnungen; der Gebrauch von Anführungsstrichen. ----- Die Gleichheit in der Arithmetik und Geometrie und ihre Beziehung zu der logischen Identität. ----- Numerische Quantoren. ----- Übungsaufgaben. ----- IV. Über die Klassentheorie ----- Mengen und ihre Elemente. ----- Mengen und Satzfunktionen einer freien Variablen. ----- Die Allklasse und die Nullklasse. ----- Grundbeziehungen zwischen Mengen. ----- Operationen mit Mengen. ----- Gleichmächtige Mengen, Anzahl der Elemente einer Menge, endliche und unendliche Mengen; Arithmetik als Teil der ----- Logik. ----- Übungsaufgaben. ----- V. Über die Relationstheorie ----- Beziehungen, ihre Bereiche und Gegenbereiche; Beziehungen und Satzfunktionen mit zwei freien Variablen. ----- Der Relationskalkül. ----- Einige Eigenschaften von Relationen. ----- Beziehungen, die zugleich reflexiv, symmetrisch und transitiv sind. ----- Ordnungsbeziehungen; Beispiele anderer Beziehungen. ----- Eindeutige Beziehungen oder Funktionen. ----- Umkehrbare Funktionen und eineindeutige Zuordnungen. ----- Mehrgliedrige Beziehungen; Funktionen von mehreren Variablen und Operationen. ----- Die Bedeutung der Logik für andere Wissenschaften. ----- Übungsaufgaben. ----- VI. Über die deduktive Methode ----- Fundamentale Bestandteile einer deduktiven Theorie: Grundbegriffe und definierte Begriffe, Axiome und Theoreme. ----- Modell und Interpretation einer deduktiven Theorie ----- (u.v.a.m.) ISBN 9783525405406Mathematik [Mathematische Logik, Mathematik] 1977, [PU: Vandenhoeck & Ruprecht, Göttingen]<
| | antiquariat.deFundus-Online GbR Versandkosten: EUR 3.00 Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Tarski, Alfred:Einführung in die mathematische Logik (Raabe,samtliche Werke, Band 5)
- Taschenbuch 1977, ISBN: 9783525405406
Vandenhoeck & Ruprecht, Taschenbuch, Auflage: 5. 285 Seiten, Publiziert: 1977-01-01T00:00:01Z, Produktgruppe: Buch, Verkaufsrang: 651799, Geometrie, Naturwissenschaft & Mathematik, Fachbü… Mehr…
Vandenhoeck & Ruprecht, Taschenbuch, Auflage: 5. 285 Seiten, Publiziert: 1977-01-01T00:00:01Z, Produktgruppe: Buch, Verkaufsrang: 651799, Geometrie, Naturwissenschaft & Mathematik, Fachbücher, Kategorien, Bücher, Ingenieurwissenschaft & Technik, Naturwissenschaften & Technik, Geschichte allgemein, Politik & Geschichte, Fachbücher_ohneKindle, 7c9a6c79-19ea-4dea-90da-d7d47042d341_3001, 7c9a6c79-19ea-4dea-90da-d7d47042d341_0, Arborist Merchandising Root, Taschenbücher, acc906d0-2585-4921-a56f-3ff277850936_4201, acc906d0-2585-4921-a56f-3ff277850936_0, Special Features Stores, Vandenhoeck & Ruprecht, 1977<
| | amazon.deBücherscheune Gut Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Tarski, Alfred:Einführung in die mathematische Logik. Moderne Mathematik in elementarer Darstellung, Bd. 5.
- Taschenbuch 1977, ISBN: 9783525405406
[PU: Göttingen, Vandenhoeck & Ruprecht.], 285 Seiten, m. zahlr. Abbildungen, Paperback.
Befried. Zustand. Einband berieben, Ecken bestoßen. Bibl.-Ex. mit den üblichen Eintragungen., DE, [… Mehr…
[PU: Göttingen, Vandenhoeck & Ruprecht.], 285 Seiten, m. zahlr. Abbildungen, Paperback.
Befried. Zustand. Einband berieben, Ecken bestoßen. Bibl.-Ex. mit den üblichen Eintragungen., DE, [SC: 0.00], gewerbliches Angebot, [GW: 510g], 5. Auflage, erweit. um den Beitrag "Wahrheit und Beweis"., Offene Rechnung, PayPal, Selbstabholung und Barzahlung, Internationaler Versand, [CT: Naturwissenschaft/Mathematik / Mathematik allgemein]<
| | booklooker.deAntiquariat Thomas Haker GmbH & Co. KG Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.