How to Prove It

A Structured Approach

Author: Daniel J. Velleman

Publisher: Cambridge University Press

ISBN: 1139450972

Category: Mathematics

Page: N.A

View: 606

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.

Algorithmen - Eine Einführung

Author: Thomas H. Cormen,Charles E. Leiserson,Ronald Rivest,Clifford Stein

Publisher: Walter de Gruyter GmbH & Co KG

ISBN: 3110522012

Category: Computers

Page: 1339

View: 8092

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,Günter M. Ziegler

Publisher: Springer-Verlag

ISBN: 3662577674

Category: Mathematics

Page: 360

View: 6710

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

Logik für Dummies

Author: Zegarelli

Publisher: John Wiley & Sons

ISBN: 3527687262

Category: Mathematics

Page: 351

View: 9643

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.

Was ist Mathematik?

Author: Richard Courant,Herbert Robbins

Publisher: Springer-Verlag

ISBN: 3662000539

Category: Mathematics

Page: N.A

View: 4590

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.

Die Mäuse-Strategie für Manager

Veränderungen erfolgreich begegnen

Author: Spencer Johnson

Publisher: Ariston

ISBN: 3641191874

Category: Business & Economics

Page: 104

View: 5111

WHO MOVED MY CHEESE? Die wichtigsten Mäuse-Strategien Spencer Johnsons erfolgreiche Mäuse-Fabel hat sich weltweit über 25 Millionen mal verkauft und unzähligen Menschen gezeigt, wie man erfolgreich mit Veränderungen umgehen und ihnen mit Mut und Gelassenheit begegnen kann. Nun gibt es den Bestseller mit den besten Erfolgsstrategien der Mäuse auch als E-Book.

Das egoistische Gen

Mit einem Vorwort von Wolfgang Wickler

Author: Richard Dawkins

Publisher: Springer-Verlag

ISBN: 3642553915

Category: Science

Page: 489

View: 4851

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.

Mathematical methods for wave propagation in science and engineering

Volume 1: Fundamentals

Author: Mario Durán

Publisher: Ediciones UC

ISBN: 9561413140

Category: Mathematics

Page: 243

View: 4758

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.

Refactoring

wie Sie das Design vorhandener Software verbessern

Author: Martin Fowler

Publisher: N.A

ISBN: 9783827322784

Category:

Page: 440

View: 3656

Programmieren lernen mit Python

Author: Allen B. Downey

Publisher: O'Reilly Germany

ISBN: 3955618072

Category: Computers

Page: 320

View: 5345

Python ist eine moderne, interpretierte, interaktive und objektorientierte Skriptsprache, vielseitig einsetzbar und sehr beliebt. Mit mathematischen Vorkenntnissen ist Python leicht erlernbar und daher die ideale Sprache für den Einstieg in die Welt des Programmierens. Das Buch führt Sie Schritt für Schritt durch die Sprache, beginnend mit grundlegenden Programmierkonzepten, über Funktionen, Syntax und Semantik, Rekursion und Datenstrukturen bis hin zum objektorientierten Design. Zur aktualisierten Auflage Diese Auflage behandelt Python 3, geht dabei aber auch auf Unterschiede zu Python 2 ein. Außerdem wurde das Buch um die Themen Unicode, List und Dictionary Comprehensions, den Mengen-Typ Set, die String-Format-Methode und print als Funktion ergänzt. Jenseits reiner Theorie Jedes Kapitel enthält passende Übungen und Fallstudien, kurze Verständnistests und kleinere Projekte, an denen Sie die neu erlernten Programmierkonzepte gleich ausprobieren und festigen können. Auf diese Weise können Sie das Gelernte direkt anwenden und die jeweiligen Programmierkonzepte nachvollziehen. Lernen Sie Debugging-Techniken kennen Am Ende jedes Kapitels finden Sie einen Abschnitt zum Thema Debugging, der Techniken zum Aufspüren und Vermeiden von Bugs sowie Warnungen vor entsprechenden Stolpersteinen in Python enthält.

Python von Kopf bis Fuß

Author: Paul Barry

Publisher: O'Reilly Germany

ISBN: 3955619427

Category: Computers

Page: 496

View: 5876

Haben Sie sich schon einmal gewünscht, Sie könnten Python mithilfe eines Buchs lernen? Mit Python von Kopf bis Fuß funktioniert das hervorragend, weil es auf einzigartige Weise über die Syntax und schlichtes Mach-dies-mach-jenes hinausgeht. Die Grundlagen erfassen Sie hier schnell, und dann es geht auch schon weiter mit Persistenz, Ausnahmebehandlung, Webentwicklung, SQLite, Datenverarbeitung und Googles App Engine. Sie lernen außerdem, wie Sie dank Pythons unglaublicher Möglichkeiten mobile Apps für Android-Smartphones schreiben. Nach dem Lernerlebnis von Python von Kopf bis Fuß können Sie Ihrer weiteren Python-Laufbahn ganz zuversichtlich entgegensehen!

The Design of Everyday Things

Psychologie und Design der alltäglichen Dinge

Author: Norman Don

Publisher: Vahlen

ISBN: 3800648105

Category: Business & Economics

Page: 320

View: 1207

Apple, Audi, Braun oder Samsung machen es vor: Gutes Design ist heute eine kritische Voraussetzung für erfolgreiche Produkte. Dieser Klassiker beschreibt die fundamentalen Prinzipien, um Dinge des täglichen Gebrauchs umzuwandeln in unterhaltsame und zufriedenstellende Produkte. Don Norman fordert ein Zusammenspiel von Mensch und Technologie mit dem Ziel, dass Designer und Produktentwickler die Bedürfnisse, Fähigkeiten und Handlungsweisen der Nutzer in den Vordergrund stellen und Designs an diesen angepasst werden. The Design of Everyday Things ist eine informative und spannende Einführung für Designer, Marketer, Produktentwickler und für alle an gutem Design interessierten Menschen. Zum Autor Don Norman ist emeritierter Professor für Kognitionswissenschaften. Er lehrte an der University of California in San Diego und der Northwest University in Illinois. Mitte der Neunzigerjahre leitete Don Norman die Advanced Technology Group bei Apple. Dort prägte er den Begriff der User Experience, um über die reine Benutzbarkeit hinaus eine ganzheitliche Erfahrung der Anwender im Umgang mit Technik in den Vordergrund zu stellen. Norman ist Mitbegründer der Beratungsfirma Nielsen Norman Group und hat unter anderem Autohersteller von BMW bis Toyota beraten. „Keiner kommt an Don Norman vorbei, wenn es um Fragen zu einem Design geht, das sich am Menschen orientiert.“ Brand Eins 7/2013 „Design ist einer der wichtigsten Wettbewerbsvorteile. Dieses Buch macht Spaß zu lesen und ist von größter Bedeutung.” Tom Peters, Co-Autor von „Auf der Suche nach Spitzenleistungen“

Sets, Logic and Maths for Computing

Author: David Makinson

Publisher: Springer Science & Business Media

ISBN: 1447124995

Category: Computers

Page: 283

View: 3753

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic and their use for representation and proof. Features: teaches finite math as a language for thinking, as much as knowledge and skills to be acquired; uses an intuitive approach with a focus on examples for all general concepts; brings out the interplay between the qualitative and the quantitative in all areas covered, particularly in the treatment of recursion and induction; balances carefully the abstract and concrete, principles and proofs, specific facts and general perspectives; includes highlight boxes that raise common queries and clear confusions; provides numerous exercises, with selected solutions.

Finite-Elemente-Methoden

Author: Klaus-Jürgen Bathe

Publisher: DrMaster Publications

ISBN: 9783540668060

Category: Technology & Engineering

Page: 1253

View: 4328

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.

Laudato si

Die Umwelt-Enzyklika des Papstes

Author: Franziskus (Papst),

Publisher: Verlag Herder GmbH

ISBN: 345180736X

Category: Religion

Page: 288

View: 9495

Mit großer Spannung wurde sie erwartet, auch von Nicht-Katholiken: Die Umwelt-Enzyklika von Papst Franziskus nimmt die heute entscheidenden Themen in den Blick; es geht um die geht um soziale, ökologische und politische Zusammenhänge. Wohl selten war ein päpstliches Schreiben so aktuell und brisant und vor allem relevant für alle Gesellschaftsschichten und Menschen weltweit. Mit "Laudato si" beweist Franziskus, dass die Kirche nach wie vor eine unverzichtbare Stimme im Diskurs zur Gestaltung der modernen Welt ist. Wer verstehen will, wie Papst und Kirche die großen Herausforderungen unserer Zeit bestehen wollen, kommt an diesem Werk nicht vorbei. Ein Muss für jeden, der an den drängenden Fragen unserer Zeit interessiert ist.

Das Prinzip der Pyramide

Ideen klar, verständlich und erfolgreich kommunizieren

Author: Barbara Minto

Publisher: N.A

ISBN: 9783827371898

Category: Language and logic

Page: 271

View: 1283

Mathematik und plausibles Schliessen

Band 1 Induktion und Analogie in der Mathematik

Author: G. Polya

Publisher: Springer-Verlag

ISBN: 3034891660

Category: Juvenile Nonfiction

Page: 404

View: 9014