Summer 2024
Logik
Logic
03-IBAT-LO (03-BB-605.01)
Kurs
ECTS: 6
Termine:
wöchentlich Di 08:00 - 10:00 MZH 5500 Kurs
wöchentlich Mi 14:00 - 16:00 MZH 5600 Kurs
Profil: SQ, KIKR
https://lvb.informatik.uni-bremen.de/ibat/03-ibat-lo.pdf
Theoretische Informatik 2: Berechenbarkeitsmodelle und Komplexität
Theoretical Computer Science 2: Models of Computation and Complexity
03-IBGT-THI2 (03-BA-601.02)
Vorlesung
ECTS: 6
Termine:
wöchentlich Mo 12:00 - 14:00 MZH 1100 Übung
wöchentlich Mo 14:00 - 16:00 NW1 H 1 - H0020 Vorlesung
wöchentlich Di 12:00 - 14:00 MZH 5500 Übung
wöchentlich Di 14:00 - 16:00 MZH 1380/1400 Übung
wöchentlich Di 16:00 - 18:00 MZH 1090 Übung
wöchentlich Mi 08:00 - 10:00 MZH 1090 Fragestunde
wöchentlich Mi 16:00 - 18:00 MZH 5600 Übung
wöchentlich Do 08:00 - 10:00 MZH 1090 Übung
wöchentlich Do 16:00 - 18:00 MZH 1380/1400 Übung
Einzeltermine:
Mi 12.06.24 08:00 - 09:30 MZH 1090
Beschreibungslogik
Description Logic
03-IMAT-BL (03-MB-605.01)
Kurs
ECTS: 6
Termine:
wöchentlich Di 10:00 - 12:00 MZH 1470 Kurs
wöchentlich Do 12:00 - 14:00 MZH 1110 Kurs
Einzeltermine:
Di 06.08.24 14:00 - 16:00 MZH 1470
https://lvb.informatik.uni-bremen.de/imat/03-imat-bl.pdf
Profil: KIKR, DMI
Schwerpunkt: IMA-AI, IMVT-DMI
Parametrisierte Komplexität
Parameterized Complexity
03-IMAT-PK (03-ME-602.22)
Vorlesung
ECTS: 6
Termine:
wöchentlich Di 14:00 - 16:00 MZH 3150 Vorlesung
wöchentlich Do 16:00 - 18:00 MZH 3150 Übung
https://lvb.informatik.uni-bremen.de/imat/03-imat-pk.pdf
Profil: SQ
Schwerpunkt: IMVT-SQ