Theoretische Informatik
|
Intensivübung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt [IÜThInfWI]
UE; 2 SWS; Mi, 16:15 - 17:45, H4
|
PF BPT-MA-Inf ab 1
PF INF-LAG 2
PF INF-LAR 2
PF INF-LAG 2
PF WINF-BA 4
PF BPT-MA-Inf ab 1
|
Milius, S.
|
Modallogik [ML]
V/UE; 4 SWS; Mo, 14:15 - 15:45, 00.131-128; Do, 8:15 - 9:45, 00.131-128; Raum 00.131, Cauerstraße 11
|
WF M-MA ab 1
WPF INF-MA ab 1
WPF INF-BA-V-THI ab 4
WF M-BA ab 3
|
Seifan, F.
|
Ontologien im Semantic Web [OntoSWeb]
V/UE; 4 SWS; ECTS: 7,5; Die Unterrichtssprache wird im Einvernehmen mit den Teilnehmern bestimmt / The course language will be agreed upon with the participants; Mo, 12:15 - 13:45, 00.131-128; Do, 14:15 - 15:45, H16
|
WF M-BA ab 3
WPF INF-MA ab 1
WPF INF-BA-V-THI ab 5
WF M-MA ab 1
|
Schröder, L.
|
Praktische Semantik von Programmiersprachen [SemProg]
V/UE; 4 SWS; Mo, 10:15 - 11:45, 01.255-128; Do, 16:15 - 17:45, 01.255-128; Do, 18:15 - 19:45, 00.131-128
|
WF M-BA ab 3
WPF INF-BA-V-THI ab 4
WPF INF-MA ab 1
WF M-MA ab 1
|
Litak, T.
|
Approximationsalgorithmen [APPROXA]
VORL; 2 SWS; ECTS: 5; Do, 10:15 - 11:45, 01.150-128
|
WF CE-MA-INF 1-4
WPF INF-BA-V-THI ab 4
WPF INF-MA ab 1
|
Wanka, R.
|
Übungen zu Approximationsalgorithmen [UE-APPROXA]
UE; 2 SWS; ECTS: 2,5; Do, 12:15 - 13:45, 01.150-128
|
WF CE-MA-INF 1-4
WPF INF-BA-V-THI ab 4
WPF INF-MA ab 1
|
Wanka, R.
|
Randomisierte Algorithmen [RAND]
VORL; 2 SWS; ECTS: 5; Di, 14:15 - 15:45, 00.152-113
|
WPF INF-BA-V-THI ab 5
WPF INF-MA 1-4
WF CE-MA-INF 1-4
|
Wanka, R.
|
Übungen zu Randomisierte Algorithmen [UE-RAND]
UE; 2 SWS; ECTS: 2,5; Mi, 10:15 - 11:45, 02.133-113
|
WPF INF-BA-V-THI ab 5
WPF INF-MA ab 1
WF CE-MA-INF 1-4
|
Raß, A.
|