Das Buch macht den Leser in kompakter Form mit den wesentlichen GrundzA1/4gen der Theoretischen Informatik vertraut. Der erste und grAAte Teil behandelt Formale Sprachen, Grammatiken und Automaten. Prof. SchAning gelingt durch seinen verstAndlichen Beweisstil und viele Beispiele eine A1/4bersichtliche und im Detail gut nachvollziehbare Darstellung dieses grundlegenden Gebietes der Theoretischen Informatik. Es schlieAt sich die Behandlung der Berechenbarkeitstheorie an. Hier werden beginnend mit dem intuitiven Berechenbarkeitsbegriff und der Churchschen These die wichtigsten Theoreme bis hin zum GAdelschen UnvollstAndigkeitssatz bewiesen. Der dritte Teil fA1/4hrt in die KomplexitAtstheorie ein und legt hierbei den Schwerpunkt auf die Theorie der NP-VollstAndigkeit. Zahlreiche QuerbezA1/4ge und Bemerkungen erleichtern das VerstAndnis und vertiefen das Gelernte.
In dem Buch werden, wie mit dem Titel versprochen, einige Themen aus der theoretischen Informatik gut zusammengefasst. An einigen stellen fallen die Erklärungen jedoch sehr knapp aus, sodass man nicht drum herum kommt beim Lesen noch andere Ressourcen mit einzubeziehen. Insgesamt ist das Buch ein guter Überblick über das Themenfeld, lässt jedoch als Lernmittel zu wünschen übrig. Trotzdem würde ich dieses Buch jedem frischen Interessenten der theoretischen Informatik empfehlen um von den Inhalten mal "gehört" zu haben und zu erfahren was einen in der theoretischen Informatik so erwartet.