Fakultät für
Mathematik
und
Informatik
Algebraische und logische
Grundlagen der Informatik