Grundlagenveranstaltungen
- Grundlagen der Logik in der Informatik
Vertiefende Veranstaltungen
- Algebra des Programmierens
- Kategorientheorie
- Theorie der Nebenläufigkeit
- Verifikation von Programmen
- Advanced Competitive Programming (Seminar)
Keine Menüeinträge gefunden.