Wahlpflichtbereich Theoretische Informatik
| Name | Course Type | Name | Credits | ID |
|---|
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 537573 |
| () Übung | Introduction to Model Checking | 0 | 536600 |
| Erfüllbarkeitsüberprüfung | () Vorlesung/Übung | Erfüllbarkeitsüberprüfung | | 537540 |
| Komplexitätstheorie | () Vorlesung | Komplexitätstheorie | 6 | 557994 |
| () Übung | Übung zur Vorlesung Komplexitätstheorie | 0 | 557995 |
| Algorithmic Foundations of Datascience | () Vorlesung | Algorithmic Foundations of Data Science | | 558119 |
| () Übung | Algorithmic Foundations of Data Science | 0 | 558120 |
| Introduction to Algorithmic Differentiation | () Vorlesung/Übung | Einführung in Algorithmisches Differenzieren | 6 | 536793 |
| Machine Learning with Graphs: Foundations and Applications | () Vorlesung/Übung | Machine Learning with Graphs: Foundations and Applications | | 557902 |
| Lineare Optimierung und Netzwerkalgorithmen | () Vorlesung | Lineare Optimierung und Netzwerkalgorithmen | | 539296 |
| () Übung | Lineare Optimierung und Netzwerkalgorithmen | | 538933 |