INHALTE
Lehre im Institut für Theoretische Informatik
Lehrveranstaltungen im Sommersemester 2015
Algorithmen und Dat
enstrukturen (AuD)
Automaten und Komplexität (AuK)/ Formale Sprachen und Komplexität (FSuK)
Logik in der Informatrik (LidI)
Logik und Logikprogrammierung (LuLP)
Hauptseminar