Katrin Erk, Lutz Priese Theoretische Informatik

Annotation

Diese Einfuhrung in die Theoretische Informatik zeichnet sich durch Verstandlichkeit und gute Lesbarkeit aus. Sie umfasst die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Uberblick uber die Komplexitatstheorie. Das Buch eignet sich insbesondere fur Anfanger: Alle Beweise sind im Detail ausgefuhrt - insofern ist es auch eine Einfuhrung in die Technik des Beweisens. Fur Dozenten ist das Buch ebenfalls interessant, da die Beweise nicht nur wie vielfach ublich skizziert sind und auch Nicht-Standard-Berechnungsmodelle vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre fur Studierende der Informatik im Grundstudium an den Universitaten Paderborn und Koblenz.