Author Description

Diese Einf hrung in die Theoretische Informatik zeichnet sich durch Verst ndlichkeit und gute Lesbarkeit aus. Sie umfa t 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.