Für das Wintersemester 2015/16 wurden folgende Proseminare angeboten.
Nummer | Titel | Veranstalter |
PS 1 | Aktuelle Herausforderungen in der Musikdatenanalyse | Vatolkin (LS 11) |
Current Challenges in Music Data Analysis | ||
PS 2 | Evolutionäre mehrkriterielle Optimierung: Anwendungen | Vatolkin (LS 11) |
Evolutionary Multi-Objective Optimisation: Applications | ||
PS 3 | Geometrische Algorithmen | Fischer (LS 11) |
Computational Geometry | ||
PS 4 | Grundlagen der Datenintegration | Tadros (LS 6) |
Principles of Data Integration | ||
PS 5 | Kategorientheoretische Grundlagen | Padawitz (LS 1) |
Fundamentals of Category Theory | ||
PS 6 | Multiagentensysteme | Kern-Isberner (LS 1) |
Multiagent systems | ||
PS 7 | Das BUCH der Beweise | Bollig (LS 2) |
Proofs from THE BOOK |