Theoretische Informatik
|
|
V/UE; 4 SWS; ECTS: 7,5; Mo, 10:15 - 11:45, 01.150-128; Fr, 12:15 - 13:45, K1-119; ab 28.4.2017
|
WPF INF-MA ab 2
WPF INF-BA-V-THI ab 4
WF M-BA ab 4
WF M-MA ab 2
|
Schröder, L.
|
|
|
|
Homotopy Type Theory [HoTT]
SEM; 2 SWS; ECTS: 5; Mi, 14:15 - 15:45, Übung 3 / 01.252-128
|
WPF M-BA ab 4
WPF INF-BA-SEM ab 4
WPF M-MA ab 1
|
Goncharov, S.
Litak, T.
|
|
|
|
Intensivübung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt [IÜThInfWI]
UE; 2 SWS; Do, 10:15 - 11: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.
Goncharov, S.
|
|
|
|
Modallogik [ML]
V/UE; 4 SWS; Mi, Do, 16:15 - 17:45, Raum n.V.; Voraussichtliche Termine SS17: Mi, 16:15 und Do, 16:15 jeweils in 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
|
Hausmann, D.
|
|
|
|
V/UE; 4 SWS; Do, 14:15 - 15:45, 01.255-128; Fr, 12:15 - 13:45, 01.255-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.
Rauch, Ch.
|
|
|
|
VORL; 2 SWS; ECTS: 5; Mo, 12:15 - 13:45, 01.255-128
|
WF CE-MA-INF 1-4
WPF INF-BA-V-THI ab 4
WPF INF-MA ab 1
|
Wanka, R.
|
|
|
|
UE; 2 SWS; ECTS: 2,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.
|
|
|
|
VORL; 2 SWS; ECTS: 5; Di, 10:15 - 11:45, 02.133-113
|
WPF INF-BA-V-THI ab 5
WPF INF-MA 1-4
WF CE-MA-INF 1-4
|
Wanka, R.
|
|
|
|
UE; 2 SWS; ECTS: 2,5; Di, 14:00 - 15:30, 02.133-113
|
WPF INF-BA-V-THI ab 5
WPF INF-MA ab 1
WF CE-MA-INF 1-4
|
Raß, A.
|
|
|