Einführung in die Logik |
CS1002 |
Vorlesung |
Tantau |
Moodle
|
Codierung und Sicherheit |
CS3050 |
Vorlesung |
Reischuk |
Moodle
|
Parallelverarbeitung |
CS4502/3051 |
Vorlesung |
Bannach |
Moodle
|
Einführung in Datenbanken und Systembiologie |
CS1020 |
Vorlesung |
Tantau |
Moodle
|
Computational Geometry |
CS3702/3703/3290 |
Seminar
| Liskiewicz |
Moodle
|
Programming Challenges |
CS3701 |
Projekt |
Liskiewicz |
Moodle
|
Algorithmik, Logik und Komplexität |
CS4501 |
Vorlesung |
Reischuk |
Moodle
|
Algorithmisches Lernen und kausale Inferenz |
CS5020 |
Vorlesung |
Liskiewicz |
Moodle
|
Kryptografische Protokolle |
CS4210 |
Vorlesung |
Liskiewicz |
Moodle
|
Aktuelle Themen IT-Sicherheit und Zuverlässigkeit |
CS5195 |
Vorlesung |
Reischuk Liskiewicz |
Moodle
|
Oberseminar Theoretische Informatik |
CSXXX | Seminar |
Tantau |
Moodle
|