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