Logical Foundations of Mathematics and Computational Complexity

Author: Pavel Pudlák
Publisher: Springer Science & Business Media
ISBN: 9783319001197
Release Date: 2013-04-22
Genre: Mathematics

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the foundations, as well as the results in computational complexity and the interdisciplinary area of proof complexity. The author presents his ideas on how these areas are connected, what are the most fundamental problems and how they should be approached. In particular, he argues that complexity is as important for foundations as are the more traditional concepts of computability and provability. Emphasis is on explaining the essence of concepts and the ideas of proofs, rather than presenting precise formal statements and full proofs. Each section starts with concepts and results easily explained, and gradually proceeds to more difficult ones. The notes after each section present some formal definitions, theorems and proofs. Logical Foundations of Mathematics and Computational Complexity is aimed at graduate students of all fields of mathematics who are interested in logic, complexity and foundations. It will also be of interest for both physicists and philosophers who are curious to learn the basics of logic and complexity theory.

The Incomputable

Author: S. Barry Cooper
Publisher: Springer
ISBN: 9783319436692
Release Date: 2017-05-05
Genre: Computers

This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on the mathematical theory of incomputability and its relevance for the real world. The core of the book consists of thirteen chapters in five parts on extended models of computation; the search for natural examples of incomputable objects; mind, matter, and computation; the nature of information, complexity, and randomness; and the mathematics of emergence and morphogenesis. This book will be of interest to researchers in the areas of theoretical computer science, mathematical logic, and philosophy.

Grundlagen der Computerlinguistik

Author: Roland R. Hausser
Publisher: Springer-Verlag
ISBN: 9783642573064
Release Date: 2013-03-07
Genre: Computers

Die zentrale Aufgabe einer zukunftsorientierten Computerlinguistik ist die Entwicklung kognitiver Maschinen, mit denen Menschen in ihrer jeweiligen Sprache frei reden können. Langfristig umfaßt diese Zielsetzung eine funktional ausgerichtete Theoriebildung, eine objektive Verifikationsmethode und eine Fülle praktischer Anwendungen. Für die natürlichsprachliche Kommunikation wird nicht nur Sprachverarbeitung, sondern auch nichtsprachliche Wahrnehmung und Handlung benötigt. Deshalb ist der Inhalt dieses Lehrbuchs als Sprachtheorie für die Konstruktion sprechender Roboter organisiert. Sein zentrales Thema ist die Kommunikationsmechanik natürlicher Sprachen - beim Sprecher und beim Hörer. Der Inhalt ist in folgende vier Teile mit je sechs Kapiteln gegliedert: Sprachtheorie; Formale Grammatik; Morphologie und Syntax; Semantik und Pragmatik. Insgesamt 772 Übungsaufgaben dienen der Verständniskontrolle und -vertiefung.

The Design of Everyday Things

Author: Norman Don
Publisher: Vahlen
ISBN: 9783800648108
Release Date: 2016-01-11
Genre: Business & Economics

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“

Hilbert

Author: Constance Reid
Publisher: Springer-Verlag
ISBN: 9783662286159
Release Date: 2013-07-02
Genre: Mathematics


Untersuchungen ber h here Arithmetik

Author: Carl Friedrich Gauss
Publisher: American Mathematical Soc.
ISBN: 9780821842133
Release Date: 2006-01
Genre: Mathematics

In this volume are included all of Gauss's number-theoretic works: his masterpiece, Disquisitiones Arithmeticae, published when Gauss was only 25 years old; several papers published during the ensuing 31 years; and papers taken from material found in Gauss's handwriting after his death. These papers include a fourth, fifth, and sixth proof of the Quadratic Reciprocity Law, researches on biquadratic residues, quadratic forms, and other topics. This reprint of the German translation from Latin of the second edition published in 1889 includes an extensive appendix and concludes with a commentary on the papers (with references, where appropriate, to the relevant pages of the Disquisitiones).

Vom Universum zu den Elementarteilchen

Author: Ulrich Ellwanger
Publisher: Springer-Verlag
ISBN: 9783662466469
Release Date: 2015-05-06
Genre: Science

Das Buch stellt die Grundlagen der modernen Elementarteilchenphysik und Kosmologie, sowie die aktuellen offenen Fragen bis zur Stringtheorie dar. Es enthält elementare Einführungen in die spezielle und allgemeine Relativitätstheorie, die klassische und Quanten-Feldtheorie. Die wesentlichen Aspekte dieser Konzepte und viele Phänomene werden mit Hilfe einfacher Rechnungen verstanden, wobei keine höheren mathematischen oder physikalischen Kenntnisse vorausgesetzt werden. Ebenfalls behandelt werden unter anderem der Big Bang, dunkle Materie und dunkle Energie, sowie die Funktionsweise des Beschleunigers LHC. Neu in dieser dritten Auflage ist die Beschreibung der Entdeckung des Higgs-Bosons und dessen Produktions- und Zerfallsprozesse.

Liebe und Mathematik

Author: Edward Frenkel
Publisher: Springer-Verlag
ISBN: 9783662434215
Release Date: 2014-11-17
Genre: Mathematics


Naive Mengenlehre

Author: Paul R. Halmos
Publisher: Vandenhoeck & Ruprecht
ISBN: 3525405278
Release Date: 1976
Genre: Arithmetic


Algebra f r Einsteiger

Author: Jörg Bewersdorff
Publisher: Springer-Verlag
ISBN: 9783658022624
Release Date: 2013-12-12
Genre: Mathematics

Dieses Buch ist eine leicht verständliche Einführung in die Algebra, die den historischen und konkreten Aspekt in den Vordergrund rückt. Der rote Faden ist eines der klassischen und fundamentalen Probleme der Algebra: Nachdem im 16. Jahrhundert allgemeine Lösungsformeln für Gleichungen dritten und vierten Grades gefunden wurden, schlugen entsprechende Bemühungen für Gleichungen fünften Grades fehl. Nach fast dreihundertjähriger Suche führte dies schließlich zur Begründung der so genannten Galois-Theorie: Mit ihrer Hilfe kann festgestellt werden, ob eine Gleichung mittels geschachtelter Wurzelausdrücke lösbar ist. Das Buch liefert eine gute Motivation für die moderne Galois-Theorie, die den Studierenden oft so abstrakt und schwer erscheint. In dieser Auflage wurde ein Kapitel ergänzt, in dem ein alternativer, auf Emil Artin zurückgehender Beweis des Hauptsatzes der Galois-Theorie wiedergegeben wird. Dieses Kapitel kann fast unabhängig von den anderen Kapiteln gelesen werden.

Signale Prozesse Systeme

Author: Ulrich Karrenberg
Publisher: Springer-Verlag
ISBN: 9783662526590
Release Date: 2016-11-18
Genre: Technology & Engineering

Buch und DVD bieten ein interaktives Lernsystem für die Visualisierung von Signalen und Prozessen sowie für die grafische Programmierung signaltechnischer Systeme. Etwa 250 vorprogrammierte Systeme und Folienentwürfe sind in das elektronische Dokument eingebettet. Mit der Software DASYLab können Applikationen entwickelt, modifiziert und optimiert werden. Die 6. Auflage bietet ein zusätzliches Kapitel zur mathematischen Modellierung, außerdem wurde sie an die aktuelle Version 11 von DASYLab angepasst und ist nun auch mit Windows 7 kompatibel.

Die Poesie der Primzahlen

Author: Daniel Tammet
Publisher: Carl Hanser Verlag GmbH Co KG
ISBN: 9783446439276
Release Date: 2014-02-24
Genre: Science

Daniel Tammet ist einer von nur 100 Inselbegabten und der vielleicht intelligenteste Mensch der Welt. Sein Gehirn leistet Unvorstellbares. Er lernt fremde Sprachen binnen einer Woche und rechnet fast so schnell wie ein Computer. Tammets Kosmos besteht aus Zahlen, die Farben, Formen und Charaktereigenschaften haben. Für ihn ist Mathematik keine trockene Wissenschaft, sondern bunt und lebendig, eine eigene Welt, der ein poetischer Zauber innewohnt. In diesem Buch lässt er uns erstmals an seiner "Poesie der Primzahlen" teilhaben und zeigt eindrucksvoll, dass die Mathematik Antworten auf die universellen Fragen des Lebens zu geben vermag: nach Zeit, Tod oder Liebe. "'Die Poesie der Primzahlen' lässt die Bewunderung für Tammets Geist ins Unermessliche steigen." Oliver Sacks