Diese Einf hrung in die Theoretische Informatik zeichnet sich durch Verst ndlichkeit und gute Lesbarkeit aus. Sie umfasst die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen berblick ber die Komplexit tstheorie. Das Buch eignet sich insbesondere f r Anf nger: Alle Beweise sind im Detail ausgef hrt - insofern ist es auch eine Einf hrung in die Technik des Beweisens. F r Dozenten ist das Buch ebenfalls interessant, da die Beweise nicht nur wie vielfach blich skizziert sind und auch Nicht-Standard-Berechnungsmodelle vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre f r Studierende der Informatik im Grundstudium an den Universit ten Paderborn und Koblenz.