Grundlagen der theoretischen Informatik: formale Sprachen, Berechenbarkeit, Entscheidbarkeit, Komplexität, Logik, Codierungstheorie