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