How to Prove It

A Structured Approach

Author: Daniel J. Velleman

Publisher: Cambridge University Press

ISBN: 9780521675994

Category: Mathematics

Page: 384

View: 6543

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.

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: 9904

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.

Was ist Mathematik?

Author: Richard Courant,Herbert Robbins

Publisher: Springer-Verlag

ISBN: 3642137016

Category: Mathematics

Page: 400

View: 6541

"Was ist Mathematik?" lädt jeden ein, das Reich der Mathematik zu betreten, der neugierig genug ist, sich auf ein Abenteuer einzulassen. Das Buch richtet sich an Leser jeden Alters und jeder Vorbildung. Gymnasiallehrer erhalten eine Fülle von Beispielen, Studenten bietet es Orientierung, und Dozenten werden sich an den Feinheiten der Darstellung zweier Meister ihres Faches erfreuen.

Das BUCH der Beweise

Author: Martin Aigner,Günter M. Ziegler

Publisher: Springer-Verlag

ISBN: 3662064545

Category: Mathematics

Page: 247

View: 1039

Die elegantesten mathematischen Beweise, spannend und für jeden Interessierten verständlich. "Der Beweis selbst, seine Ästhetik, seine Pointe geht ins Geschichtsbuch der Königin der Wissenschaften ein. Ihre Anmut offenbart sich in dem gelungenen und geschickt illustrierten Buch." Die Zeit

Logik für Dummies

Author: Mark Zegarelli

Publisher: John Wiley & Sons

ISBN: 3527657444

Category: Mathematics

Page: 358

View: 1827

Logik ist die Basis von Wissenschaft, aber auch eine Br?cke von Wissenschaft zum Alltag. So einfach sie scheint, so anspruchsvoll ist sie im Detail. Mark Zegarelli f?hrt Sie in "Logik f?r Dummies" systematisch in die Logik ein. Vom Paradoxon ?ber symbolische Logik bis zur Syllogistik l?sst er nichts aus und zeigt Ihnen, wie man Argumente pr?ft. Er arbeitet dabei mit anschaulichen Beispielen und schafft es so, dieses abstrakte Thema den Lesern nicht nur verst?ndlich zu machen, sondern ihnen auch Wert und Nutzen von Logik aufzuzeigen. Eine Einf?hrung, die den Wissensdurst stillt und Lust auf mehr macht.

(Hoch)Schulmathematik

Ein Sprungbrett vom Gymnasium an die Uni

Author: Tobias Glosauer

Publisher: Springer-Verlag

ISBN: 3658147636

Category: Mathematics

Page: 468

View: 770

Dieses Buch dient als Brücke zwischen Schul- und Hochschulmathematik. Zum einen hilft es Schülerinnen und Schülern sowie Studienanfängern, grundlegende Rechenfertigkeiten zu erwerben, die man bei jedem naturwissenschaftlich-technischen Studiengang beherrschen muss, wie z. B. (Un)Gleichungen lösen, Grenzwerte bestimmen oder Integrale knacken. Hat man sich diese Fertigkeiten bereits vor Studienbeginn angeeignet, so ist der Sprung ins kalte Uni-Wasser deutlich weniger erschreckend. Andererseits eröffnet dieser Text auch freundlich geschriebene Einblicke in die Schönheit der reinen Mathematik: Wir lernen logisch zu argumentieren und Beweise zu führen, erfreuen uns am Körper der komplexen Zahlen, beginnen uns in Vektorräumen wohl zu fühlen und machen erste rigorose Bekanntschaften mit dem Unendlichen. Aufgrund der vielen Beispiele zusammen mit den zahlreichen Aufgaben inklusive ausführlichen Lösungen eignet sich dieses Buch sowohl zum Selbststudium wie auch als Unterrichtstext für Lehrerinnen und Lehrer, die hier viel nützliches Material zur Vertiefung des Unterrichts finden.

Struktur Und Interpretation Von Computerprogrammen/ Structure and Interpretation of Computer Programs

Eine Informatik-einfhrung/ a Computer Science Introduction

Author: Harold Abelson,Julie Sussman,Gerald Jay Sussman

Publisher: Springer

ISBN: 9783540423423

Category: Computers

Page: 682

View: 2452

Die Übersetzung der bewährten Einführung in die Informatik, entstanden am Massachusetts Institute of Technology (MIT), wird seit Jahren erfolgreich in der Lehre eingesetzt. Schritt für Schritt werden Konstruktion und Abstraktion von Daten und Prozeduren dargestellt. Von der Modularisierung bis zum Problemlösen mit Registermaschinen werden verschiedene Programmierparadigmen entwickelt und die effektive Handhabung von Komplexität gezeigt. Als Programmiersprache wird SCHEME verwendet, ein Dialekt von LISP. Alle Programme laufen in jeder dem IEEE-Standard entsprechenden SCHEME-Implementierung.

Finite-Elemente-Methoden

Author: Klaus-Jürgen Bathe

Publisher: Springer Verlag

ISBN: 9783540668060

Category: Technology & Engineering

Page: 1253

View: 8756

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.

Die Kunst der JavaScript-Programmierung

Eine moderne Einführung in die Sprache des Web

Author: Marijn Haverbeke

Publisher: dpunkt.verlag

ISBN: 3864911915

Category: Computers

Page: 240

View: 7040

Das Buch ist eine Einführung in JavaScript, die sich auf gute Programmiertechniken konzentriert. Der Autor lehrt den Leser, wie man die Eleganz und Präzision von JavaScript nutzt, um browserbasierte Anwendungen zu schreiben. Das Buch beginnt mit den Grundlagen der Programmierung - Variablen, Kontrollstrukturen, Funktionen und Datenstrukturen -, dann geht es auf komplexere Themen ein, wie die funktionale und objektorientierte Programmierung, reguläre Ausdrücke und Browser-Events. Unterstützt von verständlichen Beispielen wird der Leser rasch die Sprache des Web fließend 'sprechen' können.

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: 9921

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.

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: 7659

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“

Schule des Denkens

vom Lösen mathematischer Probleme

Author: George Pólya

Publisher: N.A

ISBN: 9783772006081

Category:

Page: 266

View: 7068

Refactoring

wie Sie das Design vorhandener Software verbessern

Author: Martin Fowler

Publisher: N.A

ISBN: 9783827322784

Category:

Page: 440

View: 6436

Everworld

Die Suche beginnt

Author: Katherine Applegate

Publisher: N.A

ISBN: 9783570125885

Category:

Page: 155

View: 7703

David hat sich in Senna verliebt. David verspricht, sie vor allen kommenden Gefahren zu bewahren. Als Senna bald darauf von einer Fantasywelt verschlungen wird, folgt er ihr zusammen mit 3 Freunden in die abenteuerliche Everworld.

Python von Kopf bis Fuß

Aktuell zu Python 3

Author: Paul Barry

Publisher: O'Reilly

ISBN: 3960101368

Category: Computers

Page: 620

View: 5437

Was lernen Sie in diesem Buch? Haben Sie sich schon einmal gewünscht, Sie könnten mit nur einem Buch Python richtig lernen? Mit Python von Kopf bis Fuß schaffen Sie es! Durch die ausgefeilte Von-Kopf-bis-Fuß-Didaktik, die viel mehr als die bloße Syntax und typische How-to-Erklärungen bietet, wird es sogar zum Vergnügen. Python-Grundlagen wie Datenstrukturen und Funktionen verstehen Sie hier schnell, und dann geht es auch schon weiter: Sie programmieren Ihre eigene Web-App, erkunden Datenbank-Management, Ausnahmebehandlung und die Verarbeitung von Daten. Da Python häufig im Data-Science-Umfeld eingesetzt wird, haben in der 2. Auflage diejenigen Techniken ein stärkeres Gewicht bekommen, die in der Welt der Big Data genutzt werden. Wieso sieht dieses Buch so anders aus? In diesem Buch sind die neuesten Erkenntnisse der Kognitionswissenschaft und der Lerntheorie eingeflossen, um Ihnen das Lernen so einfach wie möglich zu machen. Statt einschläfernder Bleiwüsten verwendet dieses Buch eine Vielzahl von Abbildungen und Textstilen, die Ihnen das Wissen direkt ins Hirn spielen – und zwar so, dass es sitzt.

Books in Print

Author: N.A

Publisher: N.A

ISBN: N.A

Category: American literature

Page: N.A

View: 4580

Books in print is the major source of information on books currently published and in print in the United States. The database provides the record of forthcoming books, books in-print, and books out-of-print.

Methodisches Testen von Programmen

Author: Glenford J. Myers

Publisher: Walter de Gruyter

ISBN: 9783486256345

Category: Computer programs

Page: 179

View: 9534

Der Klassiker zum Thema Softeware-Test, bereits in der 7. Auflage! Dieses Buch hilft Ihnen, Kosten zu senken: durch eine praxisbezogene Anleitung zum Testen von Programmen. Es ist ein Handbuch zur Optimierung des methodischen Testens in der Praxis. Darüber hinaus werden auch ökonomische und psychologische Aspekte von Programmtests betrachtet, ebenso Marketinginformationen, Testwerkzeuge, High-Order-Testing, Fehlerbehebung und Codeinspektionen.

Eine kurze Geschichte der Menschheit

Author: Yuval Noah Harari

Publisher: DVA

ISBN: 364110498X

Category: History

Page: 528

View: 5412

Krone der Schöpfung? Vor 100 000 Jahren war der Homo sapiens noch ein unbedeutendes Tier, das unauffällig in einem abgelegenen Winkel des afrikanischen Kontinents lebte. Unsere Vorfahren teilten sich den Planeten mit mindestens fünf weiteren menschlichen Spezies, und die Rolle, die sie im Ökosystem spielten, war nicht größer als die von Gorillas, Libellen oder Quallen. Vor 70 000 Jahren dann vollzog sich ein mysteriöser und rascher Wandel mit dem Homo sapiens, und es war vor allem die Beschaffenheit seines Gehirns, die ihn zum Herren des Planeten und zum Schrecken des Ökosystems werden ließ. Bis heute hat sich diese Vorherrschaft stetig zugespitzt: Der Mensch hat die Fähigkeit zu schöpferischem und zu zerstörerischem Handeln wie kein anderes Lebewesen. Anschaulich, unterhaltsam und stellenweise hochkomisch zeichnet Yuval Harari die Geschichte des Menschen nach und zeigt alle großen, aber auch alle ambivalenten Momente unserer Menschwerdung.

Data mining

praktische Werkzeuge und Techniken für das maschinelle Lernen

Author: Ian H. Witten,Eibe Frank

Publisher: N.A

ISBN: 9783446215337

Category:

Page: 386

View: 3922