Summer 2025
Theoretische Informatik 2: Berechenbarkeitsmodelle und Komplexität
03-IBGT-THI2
Vorlesung
ECTS: 6
Termine und weitere Informationen finden Sie in Stud.IP.
Beschreibungslogik
03-IMAT-BL
Kurs
ETCS: 6
lvb.informatik.uni-bremen.de/imat/03-imat-bl.pdf
Profil: KIKR, DMI
Schwerpunkt: IMA-AI, IMVT-DMI
Termine und weitere Informationen finden Sie in Stud.IP.
Parametrisierte Komplexität
03-IMAT-PK
ETCS: 6
Vorlesung
lvb.informatik.uni-bremen.de/imat/03-imat-pk.pdf
Profil: SQ
Schwerpunkt: IMVT-SQ
Termine und weitere Informationen finden Sie in Stud.IP