7 of 7 courses
| Formale Systeme, Automaten, Prozesse | Formale Systeme, Automaten, Prozesse | Vorlesung | 6 | ×11Mo 12:30-14:00TEMP1 (1515|001)×9Do 10:30-12:00Grüner Hörsaal AM (Gr) (1420|001) |
| Formale Systeme, Automaten, Prozesse - Tutorium | Tutorium | 0 | ×12Gruppe 01Mi 14:30-16:00Z2 (1420|303)×12Gruppe 02Di 10:30-12:00SFo 1 (1821|001)×12Gruppe 04Mi 16:30-18:00S03 (1385|203)×12Gruppe 06Mi 16:30-18:00Z4 (1420|301)×12Gruppe 07Mi 16:30-18:00Z3 (1420|302)×12Gruppe 08Di 12:30-14:00ST 8 (1665|008)×13Gruppe 09Di 18:30-20:00S05 (1385|205)×12Gruppe 11Di 12:30-14:00S05 (1385|205)×12Gruppe 13Di 12:30-14:00ST 1 (1665|001)×12Gruppe 14Mi 16:30-18:005055 (2356|055)×12Gruppe 15Mi 14:30-16:00SG 413 (1810|413)×12Gruppe 16Mi 16:30-18:00001 (1830|001)×12Gruppe 18Mi 14:30-16:005054 (2356|054)×12Gruppe 20Di 10:30-12:00S04 (1385|204)×12Gruppe 22Di 18:30-20:00S12 (1385|212)×12Gruppe 24Mi 16:30-18:00Z2 (1420|303)×12Gruppe 25Di 10:30-12:00ST 4 (1665|004)×11Gruppe 28Di 12:30-14:00HKW 3 (1132|504)×1Gruppe 28Di 12:30-14:00S11 (1385|211)×12Gruppe 31Di 12:30-14:00S04 (1385|204)×12Gruppe 33Di 18:30-20:00S04 (1385|204)×2TutoriumsbesprechungMo 08:00-20:00Fakultätssitzungssaal Informatik (2359|222)×14TutoriumsbesprechungMo 10:00-11:30Seminarraum i1, Raum 4013 (2353|013)×2TutoriumsbesprechungDi 08:00-20:00Fakultätssitzungssaal Informatik (2359|222)×1TutoriumsbesprechungMi 07:30-17:00AH VI (2356|051)×1TutoriumsbesprechungMi 08:00-20:00Fakultätssitzungssaal Informatik (2359|222)×1TutoriumsbesprechungDo 07:30-16:00AH IV (2354|030)×1TutoriumsbesprechungFr 08:30-12:30Fakultätsseminarraum (2359|U112) | |
| Formale Systeme, Automaten, Prozesse | Fach-/Modulprüfung | 6 | Fr 18.09.2026 14:00-16:00Aula 2 (2352|021), TEMP2 (1515|002), Grüner Hörsaal AM (Gr) (1420|001), AH IV (2354|030) | |
| Formale Systeme, Automaten, Prozesse (Globalübung) | Übung | 0 | ×13FoSAP-TeamDi 08:30-10:00Großer Hörsaal AM (1420|210)×13StandardgruppeDi 08:30-10:00Großer Hörsaal AM (1420|210) | |
| Mathematische Logik I | Mathematische Logik | Vorlesung | 0 | ×1Mo 10:00-15:00Aula 2 (2352|021)×12Mo 16:30-18:00H02 (1385|102)×1Di 13:00-16:00AH IV (2354|030)×9Do 16:30-18:00Großer Hörsaal AM (1420|210)×1Fr 11:00-15:00Aula 2 (2352|021) |
| Mathematische Logik | Tutorium | 0 | ×12Tutorium 01Di 08:30-10:00S07 (1385|207)×12Tutorium 02Di 10:30-12:005055 (2356|055)×12Tutorium 03Di 10:30-12:00UMIC_024 (2165|024)×10Tutorium 04Di 16:30-18:005055 (2356|055)×12Tutorium 05Di 16:30-18:00SE 001 (1580|001)×12Tutorium 06Di 18:30-20:00S03 (1385|203)×12Tutorium 07Mi 12:30-14:005054 (2356|054)×11Tutorium 08Mi 14:30-16:00SFo 3 (1821|003)×11Tutorium 09Mi 14:30-16:00SFo 10 (1821|010)×11Tutorium 10Mi 14:30-16:00ST 1 (1665|001)×11Tutorium 11Mi 16:30-18:00SFo 3 (1821|003)×11Tutorium 12 (Englisch)Mi 16:30-18:00SFo 11 (1821|011)×11Tutorium 13Do 10:30-12:00SE 001 (1580|001)×11Tutorium 14Do 10:30-12:00ST 3 (1665|003)×3Tutorium 15Do 12:30-14:00SFo 1 (1821|001)×8Tutorium 15Do 12:30-14:00SFo 9 (1821|009)×11Tutorium 16Do 12:30-14:00ST 5 (1665|005)×11Tutorium 17Do 12:30-14:005055 (2356|055)×11Tutorium 18Do 14:30-16:00SG 513 (1810|513)×10Tutorium 19Fr 10:30-12:00Großer B-IT Raum (2356|053.2)×1Tutorium 19Fr 10:30-12:00SE 108 (1580|108)×1Tutorium 19Fr 10:30-12:00SFo 10 (1821|010)×11Tutorium 20Fr 14:30-16:005054 (2356|054)×1Tutorium 20Fr 14:30-16:00SE 209 (1580|209) | |
| Mathematische Logik | Fach-/Modulprüfung | 7 | Di 29.09.2026 12:00-14:00H01 (1385|101), AachenMünchener Halle (Aula) (1010|131), AOC (2020|131), Otto Fuchs-Hörsaal (H03) (1385|003) |