| Algorithmische Komplexität |
Seminar |
Reischuk |
|
| Computer Algebra |
Vorlesung |
Reischuk |
|
| Einführung in die Informatik IV |
Vorlesung |
Reischuk |
|
| Information Hiding |
Seminar |
Liskiewicz, Wölfel |
|
| Kryptologie |
Vorlesung |
Jakoby |
|
| Logik, Semantik und Wissensrepräsentation |
Vorlesung |
Völzer |
|
| Oberseminar Theoretische Informatik |
Seminar |
Reischuk |
|
| Parallele und Verteilte Systeme |
Vorlesung |
Liskiewicz, Jakoby |
|
| Parallelverarbeitung |
Vorlesung |
Liskiewicz |
|
| Programming Challenges |
Praktikum |
Liskiewicz, Manthey |
|
| Effiziente Algorithmen |
Proseminar |
Reischuk, Hinkelmann |
|
| Programs and Proofs: Introduction to Program Verification |
Proseminar |
Völzer |
|
