Kurt-Ulrich Witt: Berechenbarkeit, Komplexität und Algorithmische Informationstheorie, Kartoniert / Broschiert

Klappentext

Dieses Lehrbuch behandelt zunächst zentrale Themen der klassischen Theoretischen Informatik und führt darauf aufbauend in die Grundlagen der Algorithmischen Informationstheorie ein. Behandelt werden insbesondere die Fragestellungen:

• Was sind Algorithmen? Was können sie und wo liegen ihre Grenzen?
• Welche Aussagen sind über die Laufzeit möglich? Welches sind die wichtigsten Komplexitätsklassen? Was bedeuten diese für Theorie und Praxis?
• Wie kann die strukturelle Komplexität von Daten beschrieben und analysiert werden?

Die formalen Grundlagen werden mathematisch präzise dargestellt. Ausführliche Beweise, detaillierte Erklärungen und Querverweise erleichtern das Verständnis. Jedes Kapitel beginnt mit einer kurzen Motivation des folgenden Inhalts. Viele Beispiele und Aufgaben dienen der Festigung des Wissens und dem Einüben der dargestellten Methoden und Verfahren. Zu fast allen Aufgaben sind im Text oder am Ende des Buches Musterlösungen aufgeführt. Zusammenfassungen am Kapitelende bieten darüber hinaus Gelegenheit, den Stoff zu reflektieren.

Das Buch richtet sich an Studierende in Mathematik und Informatik an Universitäten und Hochschulen sowie an alle, die sich im Selbststudium weiterbilden möchten.

Für die vorliegende 2. Auflage wurde insbesondere das Kapitel zur Berechenbarkeit wesentlich erweitert -- es berücksichtigt nun neben Turingmaschinen auch Queue-Automaten, (Zwei-)Kellerautomaten und endliche Automaten. Die Darstellung der Kolmogorov-Komplexität wurde verbessert und erweitert.