Algorithmic concepts of informatics. Computability, complexity theory, algorithmics, cryptography. An introduction (Q2757288)

Lehrbücher über Theoretische Informatik gibt es viele. Dass ein Autor explizit versucht, den Lesern neben dem Lehrstoff auch die eigene Begeisterung zu vermitteln, darf als ungewöhnlich gelten -- in diesem Buch ist es jedenfalls sehr gut gelungen! Ohne Verzicht auf mathematische Präzision werden die behandelten Fragestellungen und die Vorgehensweise motiviert und verständlich gemacht; das fördert bei den Lesern Interesse und Aufnahmebereitschaft. Das vorliegende Buch deckt klassische Bereiche wie Endliche Automaten, Turing-Maschinen, Berechenbarkeit und Komplexitätstheorie ab.NEWLINENEWLINENEWLINEDas Gebiet Algorithmen und Datenstrukturen, ohnehin meist Gegenstand einer eigenen Vorlesung, wird in diesem Buch im Hinblick auf den Umgang mit NP-schweren Problemen gestreift. Dass auch modernen Inhalten wie Randomisierung und Kryptographie jeweils eigene Kapitel gewidmet sind, ist sehr zu begrüßen.NEWLINENEWLINENEWLINENatürlich ist die Auswahl des Stoffs auch immer eine Frage des persönlichen Geschmacks. Man mag hier eine Beschäftigung mit der Klasse der Rekursiven Funktionen vermissen, die vielleicht doch zu einem besseren Verständnis der Church'schen These führen kann. Auch die Minimierung endlicher Automaten wird hier nicht behandelt. Diese Themen lassen sich aber bei Bedarf organisch aus anderen Quellen ergänzen. Das vorliegende Buch empfiehlt sich deshalb als schöne Grundlage einer Theorievorlesung.