5 of 5 courses
| Formale Systeme, Automaten, Prozesse | Formale Systeme, Automaten, Prozesse | Vorlesung | 6 | ×10Mo 10:30-12:00Großer Hörsaal AM (1420|210)×12Di 18:30-20:00Großer Hörsaal AM (1420|210) |
| Formale Systeme, Automaten, Prozesse - Tutorium | Tutorium | 0 | ×1Gruppe 01Do 08:45-12:00AH V (2356|050)×1Gruppe 01Fr 09:00-15:00AH V (2356|050)×12Gruppe 01Fr 10:30-12:00Z4 (1420|301)×1Gruppe 02Do 08:45-12:00AH V (2356|050)×1Gruppe 02Fr 09:00-15:00AH V (2356|050)×1Gruppe 03Do 08:45-12:00AH V (2356|050)×1Gruppe 03Fr 09:00-15:00AH V (2356|050)×12Gruppe 03Fr 10:30-12:00S04 (1385|204)×1Gruppe 04Do 08:45-12:00AH V (2356|050)×1Gruppe 04Fr 09:00-15:00AH V (2356|050)×12Gruppe 04Fr 12:30-14:00S03 (1385|203)×1Gruppe 05Do 08:45-12:00AH V (2356|050)×9Gruppe 05Do 16:30-18:00S08 (1385|208)×1Gruppe 05Fr 09:00-15:00AH V (2356|050)×1Gruppe 06Do 08:45-12:00AH V (2356|050)×1Gruppe 06Fr 09:00-15:00AH V (2356|050)×12Gruppe 06Fr 12:30-14:00Z4 (1420|301)×1Gruppe 07Do 08:45-12:00AH V (2356|050)×1Gruppe 07Fr 09:00-15:00AH V (2356|050)×1Gruppe 08Do 08:45-12:00AH V (2356|050)×1Gruppe 08Fr 09:00-15:00AH V (2356|050)×1Gruppe 09Do 08:45-12:00AH V (2356|050)×1Gruppe 09Fr 09:00-15:00AH V (2356|050)×12Gruppe 09Fr 12:30-14:005056 (2356|056)×1Gruppe 10Do 08:45-12:00AH V (2356|050)×1Gruppe 10Fr 09:00-15:00AH V (2356|050)×1Gruppe 11Do 08:45-12:00AH V (2356|050)×12Gruppe 11Fr 08:30-10:005055 (2356|055)×1Gruppe 11Fr 09:00-15:00AH V (2356|050)×1Gruppe 12Do 08:45-12:00AH V (2356|050)×9Gruppe 12Do 14:30-16:005052 (2356|052)×1Gruppe 12Do 14:30-16:00Z3 (1420|302)×1Gruppe 12Fr 09:00-15:00AH V (2356|050)×1Gruppe 13Do 08:45-12:00AH V (2356|050)×1Gruppe 13Fr 09:00-15:00AH V (2356|050)×12Gruppe 13Fr 10:30-12:005055 (2356|055)×1Gruppe 14Do 08:45-12:00AH V (2356|050)×1Gruppe 14Fr 09:00-15:00AH V (2356|050)×1Gruppe 15Do 08:45-12:00AH V (2356|050)×1Gruppe 15Fr 09:00-15:00AH V (2356|050)×1Gruppe 16Do 08:45-12:00AH V (2356|050)×12Gruppe 16Fr 08:30-10:00Z2 (1420|303)×1Gruppe 16Fr 09:00-15:00AH V (2356|050)×1Gruppe 17Do 08:45-12:00AH V (2356|050)×1Gruppe 17Fr 09:00-15:00AH V (2356|050)×1Gruppe 18Do 08:45-12:00AH V (2356|050)×1Gruppe 18Fr 09:00-15:00AH V (2356|050)×1Gruppe 19Do 08:45-12:00AH V (2356|050)×1Gruppe 19Fr 09:00-15:00AH V (2356|050)×1Gruppe 20Do 08:45-12:00AH V (2356|050)×1Gruppe 20Fr 09:00-15:00AH V (2356|050)×12Gruppe 20Fr 12:30-14:00Z3 (1420|302)×1Gruppe 21Do 08:45-12:00AH V (2356|050)×9Gruppe 21Do 16:30-18:005056 (2356|056)×1Gruppe 21Fr 09:00-15:00AH V (2356|050)×1Gruppe 22Do 08:45-12:00AH V (2356|050)×1Gruppe 22Fr 09:00-15:00AH V (2356|050)×12Gruppe 22Fr 10:30-12:00Z3 (1420|302)×1Gruppe 23Do 08:45-12:00AH V (2356|050)×9Gruppe 23Do 14:30-16:005054 (2356|054)×1Gruppe 23Do 14:30-16:00Z1 (1420|304)×1Gruppe 23Fr 09:00-15:00AH V (2356|050)×1Gruppe 24Do 08:45-12:00AH V (2356|050)×1Gruppe 24Fr 09:00-15:00AH V (2356|050)×12Gruppe 24Fr 10:30-12:005054 (2356|054)×1Gruppe 25Do 08:45-12:00AH V (2356|050)×9Gruppe 25Do 12:30-14:005054 (2356|054)×1Gruppe 25Do 12:30-14:00Z2 (1420|303)×1Gruppe 25Fr 09:00-15:00AH V (2356|050)×1Gruppe 26Do 08:45-12:00AH V (2356|050)×1Gruppe 26Fr 09:00-15:00AH V (2356|050)×1Gruppe 27Do 08:45-12:00AH V (2356|050)×1Gruppe 27Fr 09:00-15:00AH V (2356|050)×1Gruppe 28Do 08:45-12:00AH V (2356|050)×1Gruppe 28Fr 09:00-15:00AH V (2356|050)×1Gruppe 29Do 08:45-12:00AH V (2356|050)×9Gruppe 29Do 12:30-14:00R 220 (1080|220)×1Gruppe 29Fr 09:00-15:00AH V (2356|050)×1Gruppe 30Do 08:45-12:00AH V (2356|050)×1Gruppe 30Fr 09:00-15:00AH V (2356|050)×12Gruppe 30Fr 14:30-16:00S02 (1385|202)×1Gruppe 31Do 08:45-12:00AH V (2356|050)×1Gruppe 31Fr 09:00-15:00AH V (2356|050)×4Gruppe 31Fr 10:30-12:00Z1 (1420|304)×8Gruppe 31Fr 10:30-12:00Z2 (1420|303)×1TutorienbesprechungMo 09:00-19:00Fakultätssitzungssaal Informatik (2359|222)×14TutorienbesprechungDi 16:30-18:005054 (2356|054)×1TutorienbesprechungDo 08:45-12:00AH V (2356|050)×1TutorienbesprechungFr 08:45-17:30Fakultätssitzungssaal Informatik (2359|222)×1TutorienbesprechungFr 09:00-15:00AH V (2356|050) | |
| Formale Systeme, Automaten, Prozesse (Globalübung) | Übung | 0 | ×1FoSAP-TeamDi 12:00-13:30H02 (1385|102)×1FoSAP-TeamDi 18:15-20:15H01 (1385|101)×1FoSAP-TeamDi 18:15-20:15H02 (1385|102)×10FoSAP-TeamDo 10:30-12:00Großer Hörsaal AM (1420|210)×11FoSAP-TeamDo 10:30-12:00t.b.d.×1StandardgruppeDi 12:00-13:30H02 (1385|102)×1StandardgruppeDi 18:15-20:15H01 (1385|101)×1StandardgruppeDi 18:15-20:15H02 (1385|102)×10StandardgruppeDo 10:30-12:00Großer Hörsaal AM (1420|210) | |
| Mathematische Logik I | Mathematische Logik | Vorlesung | 0 | ×10Mo 12:30-14:00TEMP2 (1515|002)×9Do 12:30-14:00TEMP2 (1515|002) |
| Mathematische Logik | Tutorium | 0 | ×1Tutorium 01Mo 15:00-17:00AH V (2356|050)×12Tutorium 01Di 10:30-12:00MetP11 (2181|102)×1Tutorium 01Fr 10:00-16:00AH IV (2354|030)×1Tutorium 02Mo 15:00-17:00AH V (2356|050)×12Tutorium 02Di 10:30-12:00ST 7 (1665|007)×1Tutorium 02Fr 10:00-16:00AH IV (2354|030)×1Tutorium 03Mo 15:00-17:00AH V (2356|050)×13Tutorium 03Di 14:30-16:00ST 6 (1665|006)×1Tutorium 03Fr 10:00-16:00AH IV (2354|030)×1Tutorium 04Mo 15:00-17:00AH V (2356|050)×13Tutorium 04Di 14:30-16:005055 (2356|055)×1Tutorium 04Fr 10:00-16:00AH IV (2354|030)×1Tutorium 05Mo 15:00-17:00AH V (2356|050)×13Tutorium 05Mi 08:30-10:005054 (2356|054)×1Tutorium 05Fr 10:00-16:00AH IV (2354|030)×1Tutorium 06Mo 15:00-17:00AH V (2356|050)×13Tutorium 06Mi 10:30-12:005055 (2356|055)×1Tutorium 06Fr 10:00-16:00AH IV (2354|030)×1Tutorium 07Mo 15:00-17:00AH V (2356|050)×1Tutorium 07Mi 10:30-12:005052 (2356|052)×12Tutorium 07Mi 10:30-12:005056 (2356|056)×1Tutorium 07Fr 10:00-16:00AH IV (2354|030)×1Tutorium 08Mo 15:00-17:00AH V (2356|050)×13Tutorium 08Mi 10:30-12:00S12 (1385|212)×1Tutorium 08Fr 10:00-16:00AH IV (2354|030)×1Tutorium 09Mo 15:00-17:00AH V (2356|050)×14Tutorium 09Mi 12:30-14:005055 (2356|055)×1Tutorium 09Fr 10:00-16:00AH IV (2354|030)×1Tutorium 10Mo 15:00-17:00AH V (2356|050)×13Tutorium 10Mi 12:30-14:005052 (2356|052)×1Tutorium 10Fr 10:00-16:00AH IV (2354|030)×1Tutorium 11Mo 15:00-17:00AH V (2356|050)×13Tutorium 11Mi 12:30-14:005056 (2356|056)×1Tutorium 11Fr 10:00-16:00AH IV (2354|030)×1Tutorium 12Mo 15:00-17:00AH V (2356|050)×13Tutorium 12Mi 14:30-16:00UMIC_025 (2165|025)×1Tutorium 12Fr 10:00-16:00AH IV (2354|030)×1Tutorium 13Mo 15:00-17:00AH V (2356|050)×13Tutorium 13Mi 14:30-16:00SG 513 (1810|513)×1Tutorium 13Fr 10:00-16:00AH IV (2354|030)×1Tutorium 14Mo 15:00-17:00AH V (2356|050)×13Tutorium 14Mi 14:30-16:005055 (2356|055)×1Tutorium 14Fr 10:00-16:00AH IV (2354|030)×1Tutorium 15Mo 15:00-17:00AH V (2356|050)×13Tutorium 15Mi 16:30-18:005054 (2356|054)×1Tutorium 15Fr 10:00-16:00AH IV (2354|030)×1Tutorium 16Mo 15:00-17:00AH V (2356|050)×11Tutorium 16Do 10:30-12:00SE 108 (1580|108)×1Tutorium 16Fr 10:00-16:00AH IV (2354|030)×1Tutorium 17Mo 15:00-17:00AH V (2356|050)×3Tutorium 17Do 14:30-16:00ST 4 (1665|004)×8Tutorium 17Do 14:30-16:00Z4 (1420|301)×1Tutorium 17Fr 10:00-16:00AH IV (2354|030)×1Tutorium 18Mo 15:00-17:00AH V (2356|050)×1Tutorium 18Fr 10:00-16:00AH IV (2354|030)×12Tutorium 18Fr 10:30-12:00SFo 1 (1821|001)×1Tutorium 19Mo 15:00-17:00AH V (2356|050)×1Tutorium 19Fr 10:00-16:00AH IV (2354|030)×12Tutorium 19Fr 14:30-16:005054 (2356|054)×1Tutorium 20Mo 15:00-17:00AH V (2356|050)×1Tutorium 20Fr 10:00-16:00AH IV (2354|030) |