Theoretische Informatik
|
|
UE; Online/Präsenz; 2 SWS; Gaststudierende; Mi, 18:15 - 19:45, H4
|
PF BPT-MA-Inf ab 1
PF INF-LAG 2
PF INF-LAR 2
PF INF-LAG-M 2
PF INF-LAG-P 2
PF INF-LAG-E 2
PF INF-LAG-W 2
PF INF-LAR-M 2
PF INF-LAR-P 2
PF INF-LAR-E 2
PF INF-LAR-W 2
PF WINF-BA 4
PF BPT-MA-Inf ab 1
|
Milius, S.
|
|
|
|
Introduction to Dependently Typed Programming [IDenT]
V/UE; 4 SWS; Schein; ECTS: 7,5; Gaststudierende; Mo, 14:15 - 15:45, 02.134-113; Mi, 14:15 - 15: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
|
Goncharov, S.
|
|
|
|
V/UE; Präsenz; 4 SWS; ECTS: 7,5; Gaststudierende; Mo, Do, 12:15 - 13:45, 02.133-113
|
WF M-MA ab 1
WF M-BA ab 3
WPF INF-MA ab 1
WPF INF-BA-V-THI ab 4
WPF DS-BA-DW ab 4
WPF AI-MA ab 1
|
Schröder, L.
|
|
|
|
V/UE; 4 SWS; Gaststudierende; Mo, 12:15 - 13:45, 01.255-128; Mi, 16:15 - 17: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.
|
|
|
|
Cryptocurrencies I Lecture [CryptoCur-I-VL]
VORL; Präsenz; 2 SWS; ben. Schein; ECTS: 2,5; Gaststudierende; Do, 10:00 - 12:00, SR 00.030
|
WF INF-BA ab 5
WF INF-MA ab 1
|
Schröder, D.
|
|
|
|
Cryptocurrencies I Tutorial [CryptoCur-I-UE]
UE; Präsenz; ben. Schein; ECTS: 2,5; Gaststudierende; Mo, 12:00 - 14:00, SR 00.030
|
WF INF-BA ab 5
WF INF-MA ab 1
|
Schröder, D.
|
|
|
|
VORL; Präsenz; 2 SWS; ECTS: 5; Mo, 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.
|
|
|
|
Übungen zu Approximationsalgorithmen [UE-APPROXA]
UE; Präsenz; 2 SWS; ECTS: 2,5; Gaststudierende; Mi, 8:30 - 10:00, 01.150-128
|
WF CE-MA-INF 1-4
WPF INF-BA-V-THI ab 4
WPF INF-MA ab 1
|
Wanka, R.
|
|
|
|
VORL; Präsenz; 2 SWS; ECTS: 5; Gaststudierende; Di, 10:15 - 11:45, 01.150-128
|
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; Präsenz; 2 SWS; ECTS: 2,5; Gaststudierende; Di, 8:15 - 9:45, 01.150-128
|
WPF INF-BA-V-THI ab 5
WPF INF-MA ab 1
WF CE-MA-INF 1-4
|
Kergaßner, M.
|
|
|