Einführung in die Logik |
CS1002 |
Lecture |
Tantau |
Moodle
|
Codierung und Sicherheit |
CS3050 |
Lecture |
Berndt |
Moodle
|
Parallelverarbeitung |
CS4502/3051 |
Lecture |
Bannach |
Moodle
|
Einführung in Datenbanken und Systembiologie |
CS1020 |
Lecture |
Tantau |
Moodle
|
Programming Challenges |
CS3701 |
Projekt |
Liskiewicz |
Moodle
|
Algorithmik, Logik und Komplexität |
CS4501 |
Lecture |
Bannach |
Moodle
|
Algorithmisches Lernen und kausale Inferenz |
CS5020 |
Lecture |
Liskiewicz |
Moodle
|
Kryptografische Protokolle |
CS4210 |
Lecture |
Liskiewicz |
Moodle
|
Aktuelle Themen IT-Sicherheit und Zuverlässigkeit, gemeinsam mit Advanced Cryptology CS4703 |
CS5195 u. CS4703 |
Lecture |
Berndt |
Moodle
|
Oberseminar Theoretische Informatik |
CSXXX | Seminar |
Tantau |
Moodle
|