Wahlpflichtbereich Theoretische Informatik
| Name | Course Type | Name | Credits | ID |
|---|
| Logikprogrammierung | () Vorlesung | Logikprogrammierung | 6 | 454728 |
| () Übung | Logikprogrammierung | 0 | 454727 |
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 455138 |
| () Übung | Introduction to Model Checking | 0 | 455137 |
| Effiziente Algorithmen | () Vorlesung | Effiziente Algorithmen | 6 | 455727 |
| () Tutorium | Effiziente Algorithmen - Übung | 0 | 455728 |
| Algorithmic Foundations of Datascience | () Vorlesung | Algorithmic Foundations of Datascience | | 448771 |
| () Übung | Algorithmic Foundations of Datascience | 0 | 448750 |