| Algorithmendesign |
CS3000 |
Vorlesung |
Reischuk |
Moodle
|
| Algorithmik |
CS4000 |
Vorlesung |
Liskiewicz |
Moodle
|
| Einführung in die Informatik 1 |
CS1012 |
Vorlesung |
Tantau |
Moodle
|
| Kommunikation und Systemsicherheit |
CS4701 |
Vorlesung m. Übungen und Seminar |
Reischuk, Eisenbarth |
|
| Kryptologie |
CS3420 |
Vorlesung |
Reischuk |
Moodle
|
| Einführung in die Logik |
CS1002 |
Vorlesung |
Tantau |
Moodle
|
| Modellierung und Analyse von Sicherheitseigenschaften |
CS4211 |
Vorlesung |
Reischuk, Liskiewicz |
Moodle
|
| Theoretische Informatik |
CS2000 |
Vorlesung |
Liskiewicz |
Moodle
|
| Computing beyond Turing |
CS3702 |
Seminar |
Liskiewicz |
Moodle
|
| Programming Challenges |
CS3701 |
Projekt |
Liskiewicz |
Moodle
|
| Werkzeuge für das wissenschaftliche Arbeiten |
CS2450 |
Vorlesung und Praktikum |
Reischuk |
Moodle
|
| Oberseminar Theoretische Informatik |
CSXXX | Seminar |
Reischuk, Tantau |
Moodle
|
