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