Bibliothek	Signatur	Standort 2	Standort 3	Barcode	Status	Frist	Vorbestellungen
Bibliothek: StB am Neumarkt	Signatur: Wca 1 Prie	Standort 2: Wc=EDV	Standort 3:	Barcode: 16659018	Status: Verfügbar	Frist:	Vorbestellungen: 0

Das Lehrbuch führt in verständlicher Sprache in die theoretische Informatik ein. Es umfasst die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und gibt einen Überblick zur Komplexitätstheorie. Das Buch eignet sich insbesondere für Einsteiger: Alle Beweise sind im Detail ausgeführt. Für Dozenten ist das Buch ebenfalls interessant, da auch Nicht-Standard-Berechnungsmodelle vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium.