Core Subjects Theoretical Foundations of SSE
| Name | Course Type | Name | Credits | ID |
|---|
| Formale Methoden für Steuerungssoftware | () Vorlesung/Übung | Formale Methoden für Steuerungssoftware | 6 | 510423 |
| Algorithmic Foundations of Datascience | () Vorlesung | Algorithmic Foundations of Data Science | | 525927 |
| () Übung | Algorithmic Foundations of Data Science | 0 | 525913 |
| Foundations of Logic Programming | () Vorlesung | Foundations of Logic Programming | 6 | 532442 |
| () Übung | Foundations of Logic Programming | 0 | 532443 |
| Theory of Distributed Systems | () Übung | Theory of Distributed Systems | 0 | 535015 |
| () Vorlesung | Theory of Distributed Systems | | 535014 |