Was ist Mathematik

Author: Richard Courant
Publisher: Springer-Verlag
ISBN: 3662000539
Format: PDF, Kindle
Download Now
47 brauchen nur den Nenner n so groß zu wählen, daß das Intervall [0, IJn] kleiner wird als das fragliche Intervall [A, B], dann muß mindestens einer der Brüche m/n innerhalb des Intervalls liegen. Also kann es kein noch so kleines Intervall auf der Achse geben, das von rationalen Punkten frei wäre. Es folgt weiterhin, daß es in jedem Intervall unendlich viele rationale Punkte geben muß; denn wenn es nur eine endliche Anzahl gäbe, so könnte das Intervall zwischen zwei beliebigen benachbarten Punkten keine rationalen Punkte enthalten, was, wie wir eben sahen, unmöglich ist. § 2. Inkommensurable Strecken, irrationale Zahlen und der Grenzwertbegriff 1. Einleitung Vergleicht man zwei Strecken a und b hinsichtlich ihrer Größe, so kann es vor kommen, daß a in b genau r-mal enthalten ist, wobei r eine ganze Zahl darstellt. In diesem Fall können wir das Maß der Strecke b durch das von a ausdrücken, indem wir sagen, daß die Länge von b das r-fache der Länge von a ist.

How to Prove It

Author: Daniel J. Velleman
Publisher: Cambridge University Press
ISBN: 9780521675994
Format: PDF, ePub, Mobi
Download Now
Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman's successful text will prepare students to make the transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. The author shows how complex proofs are built up from these smaller steps, using detailed 'scratch work' sections to expose the machinery of proofs about the natural numbers, relations, functions, and infinite sets. To give students the opportunity to construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. This book will be useful to anyone interested in logic and proofs: computer scientists, philosophers, linguists, and of course mathematicians.

Das ist o B d A trivial

Author: Albrecht Beutelspacher
Publisher: Springer-Verlag
ISBN: 9783834807717
Format: PDF, ePub, Mobi
Download Now
Was Sie schon immer über die Kunst, mathematische Texte zu formulieren, wissen wollten, aber nie zu fragen wagten: Was bedeutet "trivial", "wohldefiniert", "Korollar", "eindeutig", " o. B. d. A.", ...? Was sind gute Bezeichnungen? Wie organisiert man einen Beweis? Dieses Buch hilft den Studierenden der Mathematik mit vielen Beispielen und konkreten Ratschlägen bei der Formulierung mathematischer Übungsaufgaben, Seminararbeiten und Examensarbeiten. Das höchste Ziel: Klarheit! - Auch ein mathematischer Text ist ein Text in deutscher Sprache! - Definitionen - Wohldefiniert - Satz, Lemma, Korollar - Bezeichnungen: gute, keine unnötigen - "2 paarweise verschiedene Zahlen" - "3 5-elementige Mengen haben 15 Elemente" - Symbole - "daraus folgt" - Mächtigkeit einer Menge - Unendlich - Notwendig und hinreichend - Trivial - Beispiele - All- und Existenzquantor - Gegenbeispiele - Beweise - Zitate - Der, die, das - Eineindeutig - Kanonisch - O. B. d. A. - Ich, wir, man, mein, unser - Abbildung, Funktion, Operator - Konjunktiv - Wörter, die man wissen muss - Lesen mathematischer Texte - Übungsaufgaben - Studierende der Mathematik im Grundstudium - Lehrerinnen und Lehrer der Mathematik Prof. Dr. Albrecht Beutelspacher ist Professor für Mathematik an der Justus-Liebig-Universität Gießen und Direktor des Mathematikums in Gießen, des ersten mathematischen Mitmachmuseums der Welt.

Logik f r Dummies

Author: Mark Zegarelli
Publisher: John Wiley & Sons
ISBN: 3527687262
Format: PDF, ePub, Mobi
Download Now
Logik ist die Basis der Wissenschaft, aber auch eine Br?cke zwischen Wissenschaft und Alltag, denn die Grundlagen sind einfach logisch. Doch so einfach sie auf den ersten Blick scheint, so anspruchsvoll ist sie im Detail. "Logik kompakt f?r Dummies" f?hrt Sie systematisch und so einfach wie m?glich in dieses Teilgebiet von Mathematik und Philosophie ein. Dabei arbeitet Mark Zegarelli mit anschaulichen Beispielen und schafft es so, dieses abstrakte Thema nicht nur verst?ndlich zu erkl?ren, sondern auch Wert und Nutzen der Logik aufzuzeigen.

Algorithmen Eine Einf hrung

Author: Thomas H. Cormen
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110522012
Format: PDF, Kindle
Download Now
Der "Cormen" bietet eine umfassende und vielseitige Einführung in das moderne Studium von Algorithmen. Es stellt viele Algorithmen Schritt für Schritt vor, behandelt sie detailliert und macht deren Entwurf und deren Analyse allen Leserschichten zugänglich. Sorgfältige Erklärungen zur notwendigen Mathematik helfen, die Analyse der Algorithmen zu verstehen. Den Autoren ist es dabei geglückt, Erklärungen elementar zu halten, ohne auf Tiefe oder mathematische Exaktheit zu verzichten. Jedes der weitgehend eigenständig gestalteten Kapitel stellt einen Algorithmus, eine Entwurfstechnik, ein Anwendungsgebiet oder ein verwandtes Thema vor. Algorithmen werden beschrieben und in Pseudocode entworfen, der für jeden lesbar sein sollte, der schon selbst ein wenig programmiert hat. Zahlreiche Abbildungen verdeutlichen, wie die Algorithmen arbeiten. Ebenfalls angesprochen werden Belange der Implementierung und andere technische Fragen, wobei, da Effizienz als Entwurfskriterium betont wird, die Ausführungen eine sorgfältige Analyse der Laufzeiten der Programme mit ein schließen. Über 1000 Übungen und Problemstellungen und ein umfangreiches Quellen- und Literaturverzeichnis komplettieren das Lehrbuch, dass durch das ganze Studium, aber auch noch danach als mathematisches Nachschlagewerk oder als technisches Handbuch nützlich ist. Für die dritte Auflage wurde das gesamte Buch aktualisiert. Die Änderungen sind vielfältig und umfassen insbesondere neue Kapitel, überarbeiteten Pseudocode, didaktische Verbesserungen und einen lebhafteren Schreibstil. So wurden etwa - neue Kapitel zu van-Emde-Boas-Bäume und mehrfädigen (engl.: multithreaded) Algorithmen aufgenommen, - das Kapitel zu Rekursionsgleichungen überarbeitet, sodass es nunmehr die Teile-und-Beherrsche-Methode besser abdeckt, - die Betrachtungen zu dynamischer Programmierung und Greedy-Algorithmen überarbeitet; Memoisation und der Begriff des Teilproblem-Graphen als eine Möglichkeit, die Laufzeit eines auf dynamischer Programmierung beruhender Algorithmus zu verstehen, werden eingeführt. - 100 neue Übungsaufgaben und 28 neue Problemstellungen ergänzt. Umfangreiches Dozentenmaterial (auf englisch) ist über die Website des US-Verlags verfügbar.

Das BUCH der Beweise

Author: Martin Aigner
Publisher: Springer-Verlag
ISBN: 3662577674
Format: PDF
Download Now
Diese fünfte deutsche Auflage enthält ein ganz neues Kapitel über van der Waerdens Permanenten-Vermutung, sowie weitere neue, originelle und elegante Beweise in anderen Kapiteln. Aus den Rezensionen: “... es ist fast unmöglich, ein Mathematikbuch zu schreiben, das von jedermann gelesen und genossen werden kann, aber Aigner und Ziegler gelingt diese Meisterleistung in virtuosem Stil. [...] Dieses Buch erweist der Mathematik einen unschätzbaren Dienst, indem es Nicht-Mathematikern vorführt, was Mathematiker meinen, wenn sie über Schönheit sprechen.” Aus der Laudatio für den “Steele Prize for Mathematical Exposition” 2018 "Was hier vorliegt ist eine Sammlung von Beweisen, die in das von Paul Erdös immer wieder zitierte BUCH gehören, das vom lieben (?) Gott verwahrt wird und das die perfekten Beweise aller mathematischen Sätze enthält. Manchmal lässt der Herrgott auch einige von uns Sterblichen in das BUCH blicken, und die so resultierenden Geistesblitze erhellen den Mathematikeralltag mit eleganten Argumenten, überraschenden Zusammenhängen und unerwarteten Volten." www.mathematik.de, Mai 2002 "Eine einzigartige Sammlung eleganter mathematischer Beweise nach der Idee von Paul Erdös, verständlich geschrieben von exzellenten Mathematikern. Dieses Buch gibt anregende Lösungen mit Aha-Effekt, auch für Nicht-Mathematiker." www.vismath.de "Ein prächtiges, äußerst sorgfältig und liebevoll gestaltetes Buch! Erdös hatte die Idee DES BUCHES, in dem Gott die perfekten Beweise mathematischer Sätze eingeschrieben hat. Das hier gedruckte Buch will eine "very modest approximation" an dieses BUCH sein.... Das Buch von Aigner und Ziegler ist gelungen ..." Mathematische Semesterberichte, November 1999 "Wer (wie ich) bislang vergeblich versucht hat, einen Blick ins BUCH zu werfen, wird begierig in Aigners und Zieglers BUCH der Beweise schmökern." www.mathematik.de, Mai 2002

Mathematical methods for wave propagation in science and engineering

Author: Mario Durán
Publisher: Ediciones UC
ISBN: 9561413140
Format: PDF, ePub
Download Now
This series of books deals with the mathematical modeling and computational simulation of complex wave propagation phenomena in science and engineering. This first volume of the series introduces the basic mathematical and physical fundamentals, and it is mainly intended as a reference guide and a general survey for scientists and engineers. It presents a broad and practical overview of the involved foundations, being useful as much in industrial research, development, and innovation activities, as in academic labors.

Der Turing Omnibus

Author: A.K. Dewdney
Publisher: Springer-Verlag
ISBN: 3642788726
Format: PDF, Mobi
Download Now
Der Turing Omnibus macht in 66 exzellent geschriebenen Beiträgen Station bei den interessantesten Themen aus der Informatik, der Computertechnologie und ihren Anwendungen.