5 of 5 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) | |
| Berechenbarkeit und Komplexität | Berechenbarkeit und Komplexität | Vorlesung | 6 | ×14Mo 08:30-10:00TEMP1 (1515|001)×4Mo 08:30-10:00TEMP2 (1515|002)×1Fr 16:15-19:00Großer Hörsaal AM (1420|210)×1Fr 16:15-19:00Grüner Hörsaal AM (Gr) (1420|001)×1Fr 16:15-19:00H01 (1385|101)×1Fr 16:15-19:00H02 (1385|102)×1Fr 16:15-19:00Roter Hörsaal AM (Ro) (1420|002)×4Fr 16:30-18:00H02 (1385|102)×10Fr 16:30-18:00TEMP1 (1515|001) |
| Berechenbarkeit und Komplexität - Übung | Tutorium | 0 | ×13Gruppe 01Do 08:30-10:00S01 (1385|201)×12Gruppe 02Do 08:30-10:00S04 (1385|204)×1Gruppe 02Do 08:30-10:00S16 (1385|216)×13Gruppe 03Do 10:30-12:00S01 (1385|201)×13Gruppe 04Do 10:30-12:00S11 (1385|211)×13Gruppe 05Do 10:30-12:00R 220 (1080|220)×13Gruppe 06Do 16:30-18:00Z2 (1420|303)×13Gruppe 07Do 16:30-18:005054 (2356|054)×13Gruppe 08Do 16:30-18:005056 (2356|056)×13Gruppe 09Do 16:30-18:00S08 (1385|208)×12Gruppe 10Fr 08:30-10:00S12 (1385|212)×12Gruppe 11Fr 08:30-10:00S13 (1385|213)×13Gruppe 12Fr 12:30-14:005054 (2356|054)×12Gruppe 13Fr 12:30-14:00S09 (1385|209)×13Gruppe 14Fr 12:30-14:005055 (2356|055)×13Gruppe 15Fr 12:30-14:005052 (2356|052)×12Gruppe 16Fr 12:30-14:00S14 (1385|214)×12Gruppe 17Fr 14:30-16:00S13 (1385|213)×13Gruppe 18Fr 14:30-16:005052 (2356|052)×13Gruppe 19Fr 14:30-16:00Z2 (1420|303)×12Gruppe 20Fr 14:30-16:00S12 (1385|212)×12Gruppe 21Fr 14:30-16:00S07 (1385|207) | |
| Berechenbarkeit und Komplexität (Fragestunde) | Übung | 0 | ×5Mo 16:30-18:00AH I (2350|028)×1Mi 16:30-18:00AH II (2350|111) |