Ein kompakter Leitfaden für Studierende der theoretischen Informatik: verständliche Erklärungen zu Logik, Graphen, formalen Sprachen und Compilerbau, ergänzt durch praxisnahe Übungen mit vollständigen Lösungen zur Selbstkontrolle.