Das Buch führt umfassend in das Gebiet der theoretischen Informatik ein und behandelt den
Stoffumfang der für das Bachelor-Studium an Universitäten und Hochschulen in den Fächern
Informatik und Informationstechnik benötigt wird. Die Darstellung und das didaktische Konzept
verfolgen das Ziel einen durchweg praxisnahen Zugang zu den mitunter sehr theoretisch
geprägten Themen zu schaffen.Theoretische Informatik muss nicht trocken sein! Sie kann Spaß
machen und genau dies versucht das Buch zu vermitteln. Die verschiedenen Methoden und Verfahren
werden anhand konkreter Beispiele eingeführt und durch zahlreiche Querverbindungen wird gezeigt
wie die fundamentalen Ergebnisse der theoretischen Informatik die moderne
Informationstechnologie prägen.Das Buch behandelt die Themengebiete: Logik und Deduktion
Automatentheorie formale Sprachen Entscheidbarkeitstheorie Berechenbarkeitstheorie und
Komplexitätstheorie. Die Lehrinhalte aller Kapitel werden durch zahlreiche Übungsaufgaben
komplettiert so dass sich die Lektüre neben der Verwendung als studienbegleitendes Lehrbuch
auch bestens zum Selbststudium eignet.
