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.

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“

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.

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).

Signale Prozesse Systeme

Author: Ulrich Karrenberg
Publisher: Springer-Verlag
ISBN: 9783540273479
Release Date: 2006-01-16
Genre: Technology & Engineering

Buch und CD-ROM bilden ein Lernsystem, welches selbst erforschendes Lernen und die Visualisierung komplexer Vorgänge möglich macht. Das zugrunde liegende didaktische Konzept setzt auf die Visualisierung von Signalen und Prozessen sowie auf die grafische Programmierung signaltechnischer Systeme.

Product Lifecycle Management beherrschen

Author: Volker Arnold
Publisher: Springer-Verlag
ISBN: 9783642218132
Release Date: 2011-07-20
Genre: Technology & Engineering

Die Implementierung des Product Lifecycle Management (PLM) verlangt eine intensive Auseinandersetzung mit den zugrundeliegenden Konzepten. Deshalb werden in dem Band einerseits die wesentlichen Aspekte von PLM vermittelt und andererseits die ganzheitliche, speziell an kleine und mittlere Unternehmen angepasste Systematik zur PLM-Einführung dargestellt – in der vorliegenden 2. Auflage noch umfassender. Das Vorgehensmodell ermöglicht es, unternehmensspezifische PLM-Konzepte durch bewährte Handlungsempfehlungen in kleinen Schritten umzusetzen.

Liebe und Mathematik

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


1089 oder das Wunder der Zahlen

Author: David J. Acheson
Publisher:
ISBN: 3866470207
Release Date: 2006
Genre:

Das Buch beginnt mit einem alten Zaubertrick - Man nehme eine 3-stellige Zahl, etwa 782, kehre sie um, ziehe die kleinere von der größeren ab und addiere dazu die Umkehrung. Also - 782 - 287 = 495, dann 495 + 594. Und schon ist man mitten in der Wunderwelt der Mathematik, denn das Ergebnis ist immer - 1089. Mit solchen und vielen weiteren Beispielen aus Alltag, Geschichte und Wissenschaft gelingt es David Acheson, die faszinierende Welt der Mathematik zu erschließen - ein geistreicher Überblick, eine für jeden verständliche Einführung.