Vorlesung (6V + 2 Ü)
Prof. Dr. J. Torán, Dipl.-Inform. J. Messner.
Die Vorlesung stellt als Fortsetzung der Vorlesung Theoretische Informatik I weitere Gebiete der Theoretischen Informatik vor. Hierbei handelt es sich insbesondere um Automatentheorie und formale Sprachen. Die Vorlesung befasst sich aber auch mit mathematisch orientierten Inhalten, die auf spätere Vorlesungen vorbereiten sollen, wie Relationen und Boolesche Funktionen, Codierungstheorie und Logik.
U. Schöning, Theoretische Informatik-kurzgefaßt, Spektrum Verlag, 3. Auflage, 1997.J. Hopcroft und J. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 1979.
Algorithmen, Komplexitätstheorie, Theorielabor, Parallele Algorithmen.