Gewinnen Strategien für mathematische Spiele

Band 3 Fallstudien

Author: Elwyn R. Berlekamp,John H. Conway,Richard K. Guy

Publisher: Springer-Verlag

ISBN: 3322831728

Category: Technology & Engineering

Page: 274

View: 9839

DOWNLOAD NOW »

Der dritte Band ,,Fallstudien" bietet eine Fülle von speziellen Beispielen.

Algorithmen und Datenstrukturen

Author: Thomas Ottmann,Peter Widmayer

Publisher: Springer-Verlag

ISBN: 3827428041

Category: Computers

Page: 780

View: 6131

DOWNLOAD NOW »

Dieses bestens eingeführte Lehrbuch wendet sich an Studierende der Informatik in Grund- und Hauptstudium. Es behandelt gut verständlich alle Themen, die üblicherweise in der Standardvorlesung "Algorithmen und Datenstrukturen” vermittelt werden. Die einzelnen Algorithmen werden theoretisch fundiert dargestellt; ihre Funktionsweise wird ausführlich anhand vieler Beispiele erläutert. Zusätzlich zur halbformalen Beschreibung werden wichtige Algorithmen in Java formuliert. Das Themenspektrum reicht von Algorithmen zum Suchen und Sortieren über Hashverfahren, Bäume, Manipulation von Mengen bis hin zu Geometrischen Algorithmen und Graphenalgorithmen. Dabei werden sowohl der Entwurf effizienter Algorithmen und Datenstrukturen als auch die Analyse ihres Verhaltens mittels mathematischer Methoden behandelt. Durch eine übersichtliche Gliederung, viele Abbildungen und eine präzise Sprache gelingt den Autoren in vorbildlicher Weise die Vermittlung des vielschichtigen Themengebiets. Die 5. Auflage ist vollständig durchgesehen und überarbeitet. Neu aufgenommen wurden Einführungen in die Themen Dynamisches Programmieren, Backtracking, Onlinealgorithmen, Approximationsalgorithmen sowie einige Algorithmen für spezielle Probleme wie die schnelle Multiplikation von Matrizen, von ganzen Zahlen, und die Konstruktion der konvexen Hülle von Punkten in der Ebene. Das Buch eignet sich zur Vorlesungsbegleitung, zum Selbststudium und zum Nachschlagen. Eine Vielzahl von Aufgaben dient der weiteren Vertiefung des Gelernten. Unter http://ad.informatik.uni-freiburg.de/bibliothek/books/ad-buch/ werden Java-Programme für die wichtigsten Algorithmen und ergänzende Materialien zum Buch bereitgestellt.

Clean Architecture

Das Praxishandbuch für gutes Softwaredesign. Regeln und Paradigmen für effiziente Softwarestrukturen

Author: Robert C. Martin

Publisher: MITP-Verlags GmbH & Co. KG

ISBN: 3958457266

Category: Computers

Page: 370

View: 1599

DOWNLOAD NOW »

Das MMIX-Buch

Ein praxisnaher Zugang zur Informatik

Author: Heidi Anlauff,Axel Böttcher,Martin Ruckert

Publisher: Springer-Verlag

ISBN: 3642562337

Category: Computers

Page: 330

View: 1195

DOWNLOAD NOW »

Dieses Lehrbuch gibt eine praxisnahe Einführung in die Informatik. Zunächst werden die Grundlagen der Kodierung und der Informationsdarstellung abgehandelt und Kontroll- und Datenstrukturen vorgestellt. Anschließend werden Architekturmerkmale von Prozessoren (RISC und CISC) sowie Mechanismen der Systemsteuerung wie Pipelining und Interrupts erläutert. Es folgt eine Beschreibung der wichtigsten Funktionen eines Betriebssystems wie die Organisation von Prozessen und die Speicherverwaltung. Die Darstellung erfolgt mittels des Modellprozessors MMIX, der von Donald E. Knuth in seinem Standardwerk "The Art of Computer Programming" entwickelt wurde. Die Funktionsweise dieses Prozessors wird in einem eigenen Kapitel ausführlich beschrieben. Ferner werden die Programmierumgebung des MMIX und seine Assemblersprache MMIXAL in ergänzenden Anhängen zusammengestellt.

Insel der Zahlen

Eine zahlentheoretische Genesis im Dialog

Author: Donald Ervin Knuth

Publisher: Springer-Verlag

ISBN: 3322906507

Category: Mathematics

Page: 124

View: 2859

DOWNLOAD NOW »

Algorithmen und Datenstrukturen im VLSI-Design

OBDD — Grundlagen und Anwendungen

Author: Christoph Meinel,Thorsten Theobald

Publisher: Springer-Verlag

ISBN: 3642587739

Category: Computers

Page: 286

View: 2695

DOWNLOAD NOW »

Eines der Hauptprobleme beim Chipentwurf besteht darin, daß die Anzahl der zu bewältigenden Kombinationen der einzelnen Chipbausteine ins Unermeßliche steigt. Hier hat sich eine sehr fruchtbare Verbindung zu einem Kerngebiet der Theoretischen Informatik, dem Gebiet des Entwurfs von Datenstrukturen und effizienten Algorithmen, herstellen lassen: das Konzept der geordneten binären Entscheidungsgraphen, das in zahlreichen CAD-Projekten zu einer beträchtlichen Leistungssteigerung geführt hat. Die Autoren stellen die Grundlagen dieses interdisziplinären Forschungsgebiets dar und behandeln wichtige Anwendungen aus dem rechnergestützten Schaltkreisentwurf.

Äther und Relativitäts-Theorie

Rede Gehalten am 5. Mai 1920 an der Reichs-Universität zu Leiden

Author: A. Einstein

Publisher: Springer-Verlag

ISBN: 3642507468

Category: Science

Page: N.A

View: 7459

DOWNLOAD NOW »

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

LAN-Switching und Wireless

CCNA-Exploration-Companion-Guide

Author: Wayne Lewis

Publisher: Pearson Deutschland GmbH

ISBN: 9783827327499

Category: Drahtloses lokales Netz - Switching Kommunikationstechnik

Page: 588

View: 3493

DOWNLOAD NOW »

Theory and Applications of Satisfiability Testing – SAT 2016

19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Author: Nadia Creignou,Daniel Le Berre

Publisher: Springer

ISBN: 3319409700

Category: Computers

Page: 564

View: 2818

DOWNLOAD NOW »

This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including complexity, satisfiability solving, satisfiability applications, satisfiability modulop theory, beyond SAT, quantified Boolean formula, and dependency QBF.

Decision Procedures

An Algorithmic Point of View

Author: Daniel Kroening,Ofer Strichman

Publisher: Springer

ISBN: 3662504979

Category: Computers

Page: 356

View: 2708

DOWNLOAD NOW »

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic; equalities and uninterpreted functions; linear arithmetic; bit vectors; arrays; pointer logic; and quantified formulas.

Theory and Applications of Satisfiability Testing – SAT 2018

21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Author: Olaf Beyersdorff,Christoph M. Wintersteiger

Publisher: Springer

ISBN: 3319941445

Category: Computers

Page: 452

View: 6401

DOWNLOAD NOW »

This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July 2018. The 20 revised full papers, 4 short papers, and 2 tool papers were carefully reviewed and selected from 58 submissions. The papers address different aspects of SAT interpreted in a broad sense, including theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications as well as case studies and reports on findings based on rigorous experimentation. They are organized in the following topical sections: maximum satisfiability; conflict driven clause learning; model counting; quantified Boolean formulae; theory; minimally unsatisfiable sets; satisfiability modulo theories; and tools and applications.

Algorithmische Geometrie

Polyedrische und algebraische Methoden

Author: Michael Joswig,Thorsten Theobald

Publisher: Springer-Verlag

ISBN: 3834894400

Category: Mathematics

Page: 266

View: 3443

DOWNLOAD NOW »

In dem Lehrbuch wird eine mathematisch orientierte Einführung in die algorithmische Geometrie gegeben. Im ersten Teil werden „klassische“ Probleme und Techniken behandelt, die sich auf polyedrische (= linear begrenzte) Objekte beziehen. Hierzu gehören beispielsweise Algorithmen zur Berechnung konvexer Hüllen und die Konstruktion von Voronoi-Diagrammen. Im zweiten Teil werden grundlegende Methoden der algorithmischen algebraischen Geometrie entwickelt und anhand von Anwendungen aus Computergrafik, Kurvenrekonstruktion und Robotik illustriert. Das Buch eignet sich für ein fortgeschrittenes Modul in den derzeit neu konzipierten Bachelor-Studiengängen in Mathematik und Informatik.

Principles and Practice of Constraint Programming

23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Author: J. Christopher Beck

Publisher: Springer

ISBN: 3319661582

Category: Mathematics

Page: 724

View: 7930

DOWNLOAD NOW »

This book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and Practice of Constraint Programming, CP 2017, held in Melbourne, Australia from August 28, 2017 until September 1, 2017. The conference is colocated with the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017) and the 33rd International Conference on Logic Programming. The 46 revised full papers presented were carefully reviewed and selected from 115 submissions. The scope of the contributions includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource al location, scheduling, configuration, and planning. The papers are grouped into the following tracks: technical track; application track; machine learning & CP track; operations research & CP track; satisfiability & CP track, test and verification & CP track; journal & sister conference track.

Star Trek - Destiny 3: Verlorene Seelen

Author: David Mack

Publisher: Cross Cult

ISBN: 3942649780

Category: Fiction

Page: 430

View: 2335

DOWNLOAD NOW »

Die Soldaten des Armageddons sind auf dem Vormarsch und legen auf ihrem Weg ganze Welten in Schutt und Asche. Ein waghalsiger Plan könnte sie für immer aufhalten, aber er birgt Risiken, die ein Raumschiff-Captain nur ungern auf sich nimmt. Für Jean-Luc Picard war es niemals zuvor so wichtig, die Zukunft zu verteidigen, noch nie so persönlich - und eine falsche Entscheidung wird ihn alles kosten, für das er gekämpft und gelitten hat. Für Captain William Riker wurde diese Entscheidung bereits getroffen. Verfolgt von den Erinnerungen derer, die er zurücklassen musste, muss er bei dem verzweifelten Versuch, die Föderation zu retten, alles aufs Spiel setzen, was er noch hat. Für Captain Ezri Dax, deren ungestüme Jugend durch die Weisheit vieler Lebenszeiten ausgeglichen wird, ist die Entscheidung einfach: Es gibt kein Zurück - nur ein Vorwärts auf das, was immer die Zukunft bringen mag. Aber für diejenigen, die vor Jahrtausenden keine Wahl hatten ... ist dies die Stunde ihres letzten, unentrinnbaren Schicksals.

Automated Reasoning

8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

Author: Nicola Olivetti,Ashish Tiwari

Publisher: Springer

ISBN: 3319402293

Category: Mathematics

Page: 580

View: 6042

DOWNLOAD NOW »

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were carefully reviewed and selected from 79 submissions. The papers have been organized in topical sections on satisfiability of Boolean formulas, satisfiability modulo theory, rewriting, arithmetic reasoning and mechanizing mathematics, first-order logic and proof theory, first-order theorem proving, higher-order theorem proving, modal and temporal logics, non-classical logics, and verification.

Das BUCH der Beweise

Author: Martin Aigner,Günter M. Ziegler

Publisher: Springer-Verlag

ISBN: 3662577674

Category: Mathematics

Page: 360

View: 6728

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

Liebe und Mathematik

Im Herzen einer verborgenen Wirklichkeit

Author: Edward Frenkel

Publisher: Springer-Verlag

ISBN: 3662434210

Category: Mathematics

Page: 317

View: 4024

DOWNLOAD NOW »