3525405405 - Tarski, A: Einf. in mathemat. Logik (Raabe,samtliche Werke) von Tarski, Alfred (5 Ergebnisse)

Hardcover. 285 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 77A978 3525405405 Sprache: Deutsch Gewicht in Gramm: 340.

OKt. 1-2. 285 S. ; (Moderne Mathematik in elementarer Darstellung, 5) Wegen der EPR-Bestimmungen liefern wir nicht nach Bulgarien, Dänemark, Estland, Griechenland, Irland, Litauen, Luxemburg, Malta, Kroatien, Polen, Portugal, Rumänien, Schweden, Slowakei, Slowenien und Ungarn. Sprache: Deutsch Gewicht in Gramm: 430 5. Aufl., erw. um den Beitrag "Wahrheit und Beweis".

kart. Zustand: Gut. 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.].

Zustand: Good. Vandenhoech & Ruprecht, 1977. Text in German; cover very lightly rubbed/bumped, faintly soiled, top corner of the front flap very lightly creased, very faintly sunned; edges very lightly rubbed/bumped, faintly soiled, lightly sunned; interior lightly soiled throughout, faint pencil erasure at the top corner of the ffep, interior flaps very faintly soiled; binding tight; cover, edges and interior intact and clean, except where noted. paperback. Good.

paperback. Zustand: Akzeptabel. Seiten; 9783525405406.4 Sprache: Deutsch Gewicht in Gramm: 500.