Wahlpflichtbereich Theoretische Informatik
| Name | Course Type | Name | Credits | ID |
|---|
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 521373 |
| () Übung | Introduction to Model Checking | 0 | 521372 |
| Effiziente Algorithmen | () Vorlesung | Effiziente Algorithmen | 6 | 521740 |
| () Tutorium | Effiziente Algorithmen - Übung | 0 | 521741 |
| Erfüllbarkeitsüberprüfung | () Vorlesung/Übung | Erfüllbarkeitsüberprüfung | | 511645 |
| Dynamical Processes on Networks | () Übung | Dynamical Processes On Networks (Übungen) | 0 | 521080 |
| () Vorlesung | Dynamical Processes on Networks | | 521079 |
| Introduction to Algorithmic Differentiation | () Vorlesung/Übung | Einführung in Algorithmisches Differenzieren | 6 | 510858 |
| Lineare Optimierung und Netzwerkalgorithmen | () Vorlesung | Lineare Optimierung und Netzwerkalgorithmen | | 513420 |
| () Übung | Lineare Optimierung und Netzwerkalgorithmen | | 513071 |