Theoretische Informatik: Eine umfassende Einführung (Springer-Lehrbuch)

"Theoretische Informatik: Eine umfassende Einführung" von Lutz Priese ist ein Lehrbuch, das die wichtigsten Konzepte und Methoden der theoretischen Informatik präsentiert. Das Buch deckt Themen wie Automatentheorie, formale Sprachen, Berechenbarkeitstheorie und Komplexitätstheorie ab. Es bietet eine gründliche Einführung in die Grundlagen der theoretischen Informatik und stellt auch fortgeschrittene Themen im Detail dar. Jedes Kapitel enthält Übungsaufgaben zur Vertiefung des erlernten Wissens. Durch seine klare Strukturierung und verständliche Sprache eignet sich das Buch sowohl für Studierende als auch für Lehrende in der Informatik.