Theoretische Informatik: Eine umfassende Einführung

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.