Theoretische Informatik
|
Advanced Mechanized Reasoning in Coq [AMeRiCo(A)]
V/UE; 4 SWS; ECTS: 7,5; Di, 08:15 - 09:45, 01.151-128; Do, 16:15 - 17:45, 01.151-128
|
WPF INF-MA ab 1
WPF INF-BA-V-THI ab 5
WF M-BA ab 5
WF M-MA ab 1
WPF AI-MA ab 1
|
Litak, T.
|
Formale Methoden der Softwareentwicklung [FMSoft(A)]
V/UE; 4 SWS; ECTS: 7,5; Mo, 14:15 - 15:45, 01.255-128; Mi, 16:15 - 17:45, 01.255-128
|
WPF INF-BA-V-THI ab 4
WPF INF-BA-V-THI ab 4
WPF INF-MA ab 1
WF M-BA ab 4
WF M-MA ab 1
WF IIS-MA ab 1
WF WINF-BA ab 4
|
Litak, T.
Wild, P.
|
Intensivübung zu Grundlagen der Logik in der Informatik [InUeGLoIn(A)]
UE; Präsenz; 2 SWS; Anf; Fr, 14:15 - 15:45, 01.150-128
|
PF INF-BA 3
PF INF-BA 1
PF WINF-BA 3
WPF DS-BA 3
|
Goncharov, S.
|
Kommunikation und Parallele Prozesse [KommPar(A)]
V/UE; Präsenz; 4 SWS; ECTS: 7,5; Di, 16:15 - 17:45, 02.133-113; Fr, 10:15 - 11:45, 02.133-113
|
WF M-BA ab 3
WPF INF-MA ab 1
WPF INF-MA ab 1
WPF INF-BA-V-THI ab 4
WPF INF-BA-V-THI ab 4
WF M-MA ab 1
WPF AI-MA ab 1
|
Schröder, L.
|
Seminar Homotopy Type Theory
SEM; Online/Präsenz; 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.
|
Themen der Kategorientheorie
SEM; Präsenz; 2 SWS; ECTS: 5; Mi, 10:15 - 11:45, 00.131-128
|
WPF INF-BA ab 4
WPF INF-MA ab 2
WF M-BA ab 4
WF M-MA ab 2
|
Milius, S.
|
Übungen zu Grundlagen der Logik in der Informatik [UeGLoIn(A)]
UE; Präsenz; 2 SWS; Anf
|
WPF DS-BA 3
PF INF-BA 3
PF INF-BA 1
PF WINF-BA 3
|
Goncharov, S.
|
| | Mo | 08:15 - 09:45 | 02.134-113 | |
N.N. |
| | Mo | 10:15 - 11:45 | 02.134-113 | |
N.N. |
| | Mo | 12:15 - 13:45 | 01.150-128 | |
N.N. |
| | Mo | 12:15 - 13:45 | 02.134-113 | |
N.N. |
| | Mo | 14:15 - 15:45 | 02.134-113 | |
N.N. |
| | Di | 08:15 - 09:45 | 01.150-128 | |
N.N. |
| | Di | 08:15 - 09:45 | 02.134-113 | |
N.N. |
| | Mi | 10:15 - 11:45 | 0.031-113 | |
N.N. |
| | Mi | 12:15 - 13:45 | 0.031-113 | |
N.N. |
| | Mi | 12:15 - 13:45 | 02.134-113 | |
N.N. |
| | Do | 12:15 - 13:45 | 01.150-128 | |
Wild, P. |
| | Do | 12:15 - 13:45 | 02.134-113 | |
N.N. |
| | Fr | 12:15 - 13:45 | 02.134-113 | |
N.N. |
| | Fr | 12:15 - 13:45 | 01.150-128 | |
N.N. |
Einführung in die moderne Kryptographie [ModKrypt(A)]
VORL; Online; 4 SWS; ECTS: 5
|
WPF ICT-MA-ES ab 1
WPF INF-MA ab 1
WPF INF-BA ab 5
WPF ASC-MA ab 1
WPF ICT-MA-NDC ab 1
|
Schröder, D.
|
| | Do | 14:15 - 15:45, 15:45 - 17:15 | SR 00.030 | |
Schröder, D. |
Einführung in die moderne Kryptographie (Übung) [ÜModKrypt(A)]
UE; Online; 2 SWS; ECTS: 2,5
|
WPF ICT-MA-ES ab 1
WPF ASC-MA ab 1
WPF ICT-MA-NDC ab 1
|
Schröder, D.
|
| | Di | 12:30 - 14:00 | SR 00.030 | |
Schröder, D. |
Effiziente kombinatorische Algorithmen [EffAlg(A)]
VORL; Präsenz; 2 SWS; ECTS: 5; Do, 10:15 - 11:45, 02.134-113
|
WPF CE-MA-INF ab 1
WPF INF-BA-V-THI ab 3
WPF INF-MA ab 1
|
Wanka, R.
|
Übung Effiziente kombinatorische Algorithmen [UE-EffAlg(A)]
UE; Präsenz; 2 SWS; ECTS: 2,5
|
WPF CE-MA-INF ab 1
WPF INF-BA-V-THI ab 3
WPF INF-MA ab 1
|
Wanka, R.
|
| | Mi | 10:15 - 11:45 | 02.134-113 | |
Wanka, R. |