| lectures | |
| Automatentheorie und Logik | more... |
| Komplexitätstheorie | more... |
| Model Checking | more... |
| Perlen der Informatik | more... |
| exercises | |
| Übung zu Komplexitätstheorie | more... |
| Übung zu Model Checking | more... |
| training courses | |
| Game Playing | more... |
| Projekt Systementwicklung: Lego Mindstorms (ehemals Programmierpraktikum) |
more... |
| proseminars | |
| Vom Booleschen Verband zur Relationenalgebra - mit Anwendungen in der Spieltheorie | more... |
Information about older courses can be found on our old homepage.
