Model Theory

Third Edition

Author: C.C. Chang,H. Jerome Keisler

Publisher: Courier Corporation

ISBN: 0486310957

Category: Mathematics

Page: 672

View: 8247

This bestselling textbook for higher-level courses was extensively revised in 1990 to accommodate developments in model theoretic methods. Topics include models constructed from constants, ultraproducts, and saturated and special models. 1990 edition.
Posted in Mathematics

Grundlagen der Mathematik II

Author: David Hilbert,Paul Bernays

Publisher: Springer-Verlag

ISBN: 3642868967

Category: Mathematics

Page: 568

View: 6724

Der vorliegende Band schließt die Darstellung der Beweistheorie ab, die ich vor einigen Jahren zusammen mit P. BERNAYS begann. Auf meinen Wunsch hat P. BERNAYS wieder die Abfassung des Textes über nommen. Ich danke ihm für die Sorgfalt und Treue, mit der er meine Gedanken wiedergegeben hat, an deren Entwicklung er in jahrelanger Zusammenarbeit aufs stärkste beteiligt war. Ohne seine Mithilfe wäre die Vollendung dieses Buches unmöglich gewesen. Den Herren W. ACKERMANN, G. GENTZEN, A. SCHMIDT, H. SCHOLZ danke ich für ihre freundliche Mitwirkung bei den Korrekturen. Göttingen, im März 1939 HILBERT Zur Einführung Das vorliegende Buch soll einer eingehenden Orientierung über den gegenwärtigen Stoff der HILBERTschen Beweistheorie dienen. Wenn gleich das bisher hier Erreichte gemessen an den Zielen der Theorie sehr bescheiden ist, so liegt doch ein reichlicher Stoff an prägnanten Ergebnissen, an Gesichtspunkten und Beweisgedanken vor, die zur Kenntnis zu bringen als lohnend erscheint. Für die inhaltliche Gestaltung dieses zweiten Bandes waren durch den Zweck des Buches zwei Hauptthemata vorgezeichnet. - Es handelte sich einmal darum, die hauptsächlichen, an das e-Symbol sich knüpfenden beweistheoretischen Ansätze HILBERTS und ihre Durchführung zur ein gehenden Darstellung zu bringen.
Posted in Mathematics

Einführung in die Modelltheorie

Vorlesungen

Author: Philipp Rothmaler

Publisher: Spektrum Akademischer Verlag

ISBN: 9783860254615

Category: Model theory

Page: 331

View: 3360

Posted in Model theory

Das egoistische Gen

Mit einem Vorwort von Wolfgang Wickler

Author: Richard Dawkins

Publisher: Springer-Verlag

ISBN: 3642553915

Category: Science

Page: 489

View: 1447

p”Ein auch heute noch bedeutsamer Klassiker“ Daily Express Sind wir Marionetten unserer Gene? Nach Richard Dawkins ́ vor über 30 Jahren entworfener und heute noch immer provozierender These steuern und dirigieren unsere von Generation zu Generation weitergegebenen Gene uns, um sich selbst zu erhalten. Alle biologischen Organismen dienen somit vor allem dem Überleben und der Unsterblichkeit der Erbanlagen und sind letztlich nur die "Einweg-Behälter" der "egoistischen" Gene. Sind wir Menschen also unserem Gen-Schicksal hilflos ausgeliefert? Dawkins bestreitet dies und macht uns Hoffnung: Seiner Meinung nach sind wir nämlich die einzige Spezies mit der Chance, gegen ihr genetisches Schicksal anzukämpfen.
Posted in Science

Introduction to Topology

Third Edition

Author: Bert Mendelson

Publisher: Courier Corporation

ISBN: 0486135098

Category: Mathematics

Page: 224

View: 6829

Concise undergraduate introduction to fundamentals of topology — clearly and engagingly written, and filled with stimulating, imaginative exercises. Topics include set theory, metric and topological spaces, connectedness, and compactness. 1975 edition.
Posted in Mathematics

Finite-Elemente-Methoden

Author: Klaus-Jürgen Bathe

Publisher: DrMaster Publications

ISBN: 9783540668060

Category: Technology & Engineering

Page: 1253

View: 9295

Dieses Lehr- und Handbuch behandelt sowohl die elementaren Konzepte als auch die fortgeschrittenen und zukunftsweisenden linearen und nichtlinearen FE-Methoden in Statik, Dynamik, Festkörper- und Fluidmechanik. Es wird sowohl der physikalische als auch der mathematische Hintergrund der Prozeduren ausführlich und verständlich beschrieben. Das Werk enthält eine Vielzahl von ausgearbeiteten Beispielen, Rechnerübungen und Programmlisten. Als Übersetzung eines erfolgreichen amerikanischen Lehrbuchs hat es sich in zwei Auflagen auch bei den deutschsprachigen Ingenieuren etabliert. Die umfangreichen Änderungen gegenüber der Vorauflage innerhalb aller Kapitel - vor allem aber der fortgeschrittenen - spiegeln die rasche Entwicklung innerhalb des letzten Jahrzehnts auf diesem Gebiet wieder. TOC:Eine Einführung in den Gebrauch von Finite-Elemente-Verfahren.-Vektoren, Matrizen und Tensoren.-Einige Grundbegriffe ingenieurwissenschaftlicher Berechnungen.-Formulierung der Methode der finiten Elemente.-Formulierung und Berechnung von isoparametrischen Finite-Elemente-Matrizen.-Nichtlineare Finite-Elemente-Berechnungen in der Festkörper- und Strukturmechanik.-Finite-Elemente-Berechnungen von Wärmeübertragungs- und Feldproblemen.-Lösung von Gleichgewichtsbeziehungen in statischen Berechnungen.-Lösung von Bewegungsgleichungen in kinetischen Berechnungen.-Vorbemerkungen zur Lösung von Eigenproblemen.-Lösungsverfahren für Eigenprobleme.-Implementierung der Finite-Elemente-Methode.
Posted in Technology & Engineering

Differentialgeometrie von Kurven und Flächen

Author: Manfredo P. do Carmo

Publisher: Springer-Verlag

ISBN: 3322850722

Category: Technology & Engineering

Page: 263

View: 8540

Inhalt: Kurven - Reguläre Flächen - Die Geometrie der Gauß-Abbildung - Die innere Geometrie von Flächen - Anhang
Posted in Technology & Engineering

Satan, Cantor und die Unendlichkeit

und 200 weitere verblüffende Tüfteleien

Author: Raymond Smullyan

Publisher: Springer-Verlag

ISBN: 3034862318

Category: Juvenile Nonfiction

Page: 232

View: 9115

Posted in Juvenile Nonfiction

Naive Mengenlehre

Author: Paul R. Halmos

Publisher: Vandenhoeck & Ruprecht

ISBN: 9783525405277

Category: Arithmetic

Page: 132

View: 5838

Posted in Arithmetic

Introduction to the Quantum Theory

Third Edition

Author: David Park

Publisher: Courier Corporation

ISBN: 0486137767

Category: Science

Page: 624

View: 7370

Geared toward upper-level undergraduates and graduate students, this self-contained first course in quantum mechanics covers basic theory and selected applications and includes numerous problems of varying difficulty. 1992 edition.
Posted in Science

Klassische Feldtheorie

Author: Lev D. Landau,Evgenij M. Lifšic

Publisher: Harri Deutsch Verlag

ISBN: 9783817113279

Category: Electrodynamics

Page: 480

View: 4110

Posted in Electrodynamics

Spieltheorie

Author: Ken Binmore

Publisher: N.A

ISBN: 9783150185902

Category:

Page: 272

View: 9320

Posted in

Moderne Physik

Author: Paul Allen Tipler,Ralph A. Llewellyn

Publisher: Oldenbourg Verlag

ISBN: 9783486582758

Category: Physics

Page: 963

View: 7260

Immer mehr deutsche Hochschulen folgen dem amerikanischen Vorbild und bieten Einführungskurse zur Modernen Physik an. Diese Kurse vermitteln die spannenden Erkenntnisse der Physik der letzten 100 Jahre, die zu bahnbrechenden Veränderungen geführt haben. Das Standardwerk zu diesen Kursen ist "Modern Physics" von Paul A. Tipler, Autor des berühmten Werkes "Physik", und Ralph A. Llewellyn. Die Autoren zeigen, dass man ein tief gehendes Verständnis der Modernen Physik vermitteln kann, ohne einen schwerfälligen mathematischen Apparat bemühen zu müssen. Mit über 500 Abbildungen, Zitaten berühmter Physiker sowie mit ca. 700 sorgfältig ausgewählten Übungsaufgaben und über das Internet zugänglichen Ergänzungen wurde "Modern Physics" in den USA zu einem der beliebtesten Lehrbücher zu diesem Thema.
Posted in Physics

The Theory of Heat Radiation

Author: Max Planck

Publisher: Courier Corporation

ISBN: 0486173283

Category: Science

Page: 256

View: 5185

Nobel laureate's classic exposition of the theory of radiant heat in terms of quantum action. Kirchoff's law, black radiation, Maxwell's radiation pressure, entropy, other topics. 1914 edition. Bibliography.
Posted in Science

Introduction to Modern Optics

Author: Grant R. Fowles

Publisher: Courier Corporation

ISBN: 048613492X

Category: Science

Page: 336

View: 5367

A complete basic undergraduate course in modern optics for students in physics, technology, and engineering. The first half deals with classical physical optics; the second, quantum nature of light. Solutions.
Posted in Science

Principia Mathematica.

Author: Alfred North Whitehead,Bertrand Russell

Publisher: N.A

ISBN: N.A

Category: Logic, Symbolic and mathematical

Page: 167

View: 7527

Posted in Logic, Symbolic and mathematical

Statistik-Workshop für Programmierer

Author: Allen B. Downey

Publisher: O'Reilly Germany

ISBN: 3868993436

Category: Computers

Page: 160

View: 2915

Wenn Sie programmieren können, beherrschen Sie bereits Techniken, um aus Daten Wissen zu extrahieren. Diese kompakte Einführung in die Statistik zeigt Ihnen, wie Sie rechnergestützt, anstatt auf mathematischem Weg Datenanalysen mit Python durchführen können. Praktischer Programmier-Workshop statt grauer Theorie: Das Buch führt Sie anhand eines durchgängigen Fallbeispiels durch eine vollständige Datenanalyse -- von der Datensammlung über die Berechnung statistischer Kennwerte und Identifikation von Mustern bis hin zum Testen statistischer Hypothesen. Gleichzeitig werden Sie mit statistischen Verteilungen, den Regeln der Wahrscheinlichkeitsrechnung, Visualisierungsmöglichkeiten und vielen anderen Arbeitstechniken und Konzepten vertraut gemacht. Statistik-Konzepte zum Ausprobieren: Entwickeln Sie über das Schreiben und Testen von Code ein Verständnis für die Grundlagen von Wahrscheinlichkeitsrechnung und Statistik: Überprüfen Sie das Verhalten statistischer Merkmale durch Zufallsexperimente, zum Beispiel indem Sie Stichproben aus unterschiedlichen Verteilungen ziehen. Nutzen Sie Simulationen, um Konzepte zu verstehen, die auf mathematischem Weg nur schwer zugänglich sind. Lernen Sie etwas über Themen, die in Einführungen üblicherweise nicht vermittelt werden, beispielsweise über die Bayessche Schätzung. Nutzen Sie Python zur Bereinigung und Aufbereitung von Rohdaten aus nahezu beliebigen Quellen. Beantworten Sie mit den Mitteln der Inferenzstatistik Fragestellungen zu realen Daten.
Posted in Computers

Einführung in die mathematische Logik

Klassische Prädikatenlogik

Author: Hans Hermes

Publisher: Springer-Verlag

ISBN: 3322996425

Category: Technology & Engineering

Page: 208

View: 5904

Das vorliegende, 1963 in erster Auflage erschienene Buch ist aus Vorlesungen hervorgegangen. Es soll eine Einführung in die klassische zweiwertige Prädikaten logik geben. Die Beschränkung auf die klassische Logik soll nicht besagen, daß diese Logik prinzipiell einen Vorzug vor anderen, nichtklassischen Logiken besitzt. Die klassische Logik empfiehlt sich jedoch als Einführung in die Logik wegen ihrer Einfachheit und als Fundament für die Anwendung deshalb, weil sie der klassischen Mathematik und damit den darauf aufgebauten exakten Wissenschaften zugrunde liegt. Das Buch wendet sich primär an Studierende der Mathematik, die in den An fängervorlesungen bereits einige grundlegende mathematische Begriffe, wie den Gruppenbegriff, kennengelernt haben. Der Leser soll dazu geführt werden, daß er die Vorteile einer Formalisierung einsieht. Der übergang von der Umgangssprache zu einer formalisierten Sprache, welcher erfahrungsgemäß gewisse Schwierigkeiten bereitet, wird eingehend besprochen und eingeübt. Die Analyse desmathemati schen Umgangs mit den grundlegenden mathematischen Strukturen führt in zwangloser Weise zum semantisch begründeten Folgerungsbegriff.
Posted in Technology & Engineering

Die Theorie Des Schalles

Author: J.W. Rayleigh

Publisher: Рипол Классик

ISBN: 5877646796

Category: History

Page: N.A

View: 5847

Posted in History