11 of 11 courses
| Model Checking | Introduction to Model Checking | Vorlesung | 6 | ×1Di 10:00-11:30AH VI (2356|051)×10Mi 12:30-14:00AH III (2350|314.1)×1Do 09:00-11:30AH VI (2356|051)×12Do 10:30-12:00AH I (2350|028) |
| Introduction to Model Checking | Übung | 0 | ×11Fr 14:30-16:00AH III (2350|314.1) | |
| Erfüllbarkeitsüberprüfung | Erfüllbarkeitsüberprüfung | Vorlesung/Übung | ×1Mo 09:15-13:30Großer B-IT Raum (2356|053.2)×13Mi 08:30-10:00AH IV (2354|030)×13Do 10:30-12:00AH V (2356|050)×12Fr 12:30-13:155056 (2356|056) | |
| Komplexitätstheorie | Komplexitätstheorie | Vorlesung | 6 | ×12Mi 08:30-10:00AH III (2350|314.1)×9Do 16:30-18:00AH II (2350|111) |
| Übung zur Vorlesung Komplexitätstheorie | Übung | 0 | ×11Mi 14:30-16:00AH II (2350|111)×1Mi 14:30-16:00AH IV (2354|030) | |
| Algorithmic Foundations of Datascience | Algorithmic Foundations of Data Science | Vorlesung | ×11Di 16:30-18:00AH I (2350|028)×13Mi 08:30-10:00AH I (2350|028) | |
| Algorithmic Foundations of Data Science | Übung | 0 | ×15Do 12:30-14:00IPC Hörsaal (2400|U101) | |
| Introduction to Algorithmic Differentiation | Einführung in Algorithmisches Differenzieren | Vorlesung/Übung | 6 | ×13Di 10:30-12:00AH IV (2354|030)×15Mi 10:30-12:00AH IV (2354|030) |
| Machine Learning with Graphs: Foundations and Applications | Machine Learning with Graphs: Foundations and Applications | Vorlesung/Übung | ×15Mo 08:30-10:00H05 (1385|105)×14Mi 12:30-14:00IPC Hörsaal (2400|U101)×15Fr 12:30-14:00H05 (1385|105) | |
| Lineare Optimierung und Netzwerkalgorithmen | Lineare Optimierung und Netzwerkalgorithmen | Vorlesung | ×15Mi 16:30-18:00V (1010|213)×15Do 10:30-12:00V (1010|213) | |
| Lineare Optimierung und Netzwerkalgorithmen | Übung | ×1Mo 14:00-16:30B201 (3011|201)×14Mo 16:30-18:00V (1010|213)×15Di 14:30-16:00V (1010|213)×1Do 10:30-12:30B201 (3011|201)×13Do 12:30-14:00Be 114 (1140|114)×1Do 12:30-14:00SG 12 (1810|012)×14Fr 10:30-12:00IV (1010|141)×1Fr 10:30-13:00Phil (1070|113) |