Katrin Erk Knihy

Diese EinfA1/4hrung in die Theoretische Informatik zeichnet sich durch VerstAndlichkeit und gute Lesbarkeit aus. Sie umfaAt die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Aoeberblick A1/4ber die KomplexitAtstheorie. Das Buch eignet sich insbesondere fA1/4r AnfAnger: Alle Beweise sind im Detail ausgefA1/4hrt - insofern ist es auch eine EinfA1/4hrung in die Technik des Beweisens. FA1/4r Dozenten ist das Buch ebenfalls interessant, da die Beweise nicht nur wie vielfach A1/4blich skizziert sind und auch Nicht-Standard-Berechnungsmodelle vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre fA1/4r Studierende der Informatik im Grundstudium an den UniversitAten Paderborn und Koblenz. Die Neuauflage wurde um theoretische Grundlagen fA1/4r Quantenrechner ergAnzt.