Teaching

VORSCHAU: WiSe 2020/2021:
Komplexität und Logik (Seminar)
Algorithmisches Beweisen (Vorlesung)

Algorithmisches Beweisen LAB
Diskrete Strukturen I
Automaten und Berechenbarkeit

 
AKTUELL: SoSe 2020:
Prof. Olaf Beyersdorff:
Kryptologie (Vorlesung)
Kryptologie LAB
Komplexität und Logik (Seminar)

Dr. Jörg Vogel:
Diskrete Strukturen II

 

WiSe 2019/2020:
Prof. Olaf Beyersdorff:
Komplexitätstheorie (Vorlesung)
Komplexitätstheorie LAB
Komplexität und Logik (Seminar)

Dr. Jörg Vogel:
Diskrete Strukturen I
Ausgewählte Konzepte der Kryptologie


SoSe 2019:
Prof. Olaf Beyersdorff:
Algorithmisches Beweisen (Vorlesung)
Algorithmisches Beweisen LAB
Logik in der Informatik (Seminar)

Dr. Jörg Vogel:
Diskrete Strukturen II
Automaten und Berechenbarkeit


WiSe 2018/2019
Prof. Olaf Beyersdorff:
Kryptologie

Dr. Jörg Vogel:
Diskrete Strukturen I
Automaten und Berechenbarkeit