| Algorithmen, Komplexitätstheorie und Formale Sprachen |
Lecture |
Reischuk |
Wiki |
| Algorithmik |
Lecture |
Jakoby |
|
| Algorithmische Verfahren zur Datenkompression |
Lecture |
Liskiewicz |
|
| Diskrete Systeme |
Lecture |
Liskiewicz |
|
| Informatik A |
Lecture |
Tantau |
Wiki |
| Komplexitätstheorie |
Lecture |
Nickelsen |
|
| Logik für Informatiker |
Lecture |
Tantau |
Wiki |
| Spezifikation und Verifikation |
Lecture |
Völzer |
|
| Wissensbasierte und lernende Systeme |
Lecture |
Liskiewicz |
|
| Computational Geometry |
Proseminar |
Liskiewicz |
|
| Fehlertolerante verteilte Algorithmen |
Seminar |
Tantau, Völzer |
Wiki |
| Communication Complexity |
Seminar |
Reischuk, Balbach |
|
| Oberseminar Theoretische Informatik |
Seminar |
Reischuk, Tantau |
|
| Wissenschaftsmethodik |
Seminar |
Reischuk, Arpe |
|
