Theoretische Informatik
|
|
V/UE; 4 SWS; ECTS: 7,5; Mi, 16:15 - 17:45, 01.255-128; Do, 14:15 - 15:45, 01.255-128
|
WPF INF-MA ab 2
WPF INF-BA-V-THI ab 4
WF M-BA ab 4
WF M-MA ab 2
|
Urbat, H.
Milius, S.
|
|
|
|
Algebraische und Logische Aspekte der Automatentheorie [ALoA]
V/UE; 4 SWS; ECTS: 7,5; Mi, 12:15 - 13:45, 01.255-128; Do, 08:15 - 09:45, 01.255-128
|
WPF INF-BA-V-THI ab 5
WPF INF-MA ab 1
WF M-BA ab 5
WF M-MA ab 1
|
Milius, S.
|
|
|
|
V/UE; 4 SWS; ECTS: 7,5; Mo, 14:15 - 15:45, 00.131-128; Di, 12:15 - 13: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]
UE; 2 SWS; Anf; Do, 12:15 - 13:45, SR TM
|
PF INF-BA 3
PF WINF-BA 3
|
Goncharov, S.
|
|
|
|
Introduction to Dependently Typed Programming [IDenT]
V/UE; 4 SWS; Schein; ECTS: 7,5; Mo, 16:15 - 17:45, 01.021; Di, 16:15 - 17: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; 4 SWS; ben. Schein; ECTS: 7,5; Mi, 14:15 - 15:45, 00.131-128; Do, 16:15 - 17:45, 01.255-128; Do, 14.15-15.45 Uhr im Raum 00.131-128, Cauerstraße 11
|
WPF INF-MA ab 1
WPF INF-BA-V-THI ab 4
WPF INF-BA-V-THI ab 4
WF M-BA ab 4
WF M-MA ab 1
WF IIS-MA ab 1
WF WINF-BA ab 4
|
Litak, T.
|
|
|
|
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; Di, 12:15 - 13: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.
|
|
|
|
UE; 2 SWS; Anf
|
PF INF-BA 3
PF WINF-BA 3
|
Goncharov, S.
|
|
|
| | Mo | 10:15 - 11:45 | K1-119 Brose-Saal | |
N.N. | | |
| | Di | 8:15 - 9:45 | 01.150-128 | |
N.N. | | |
| | Di | 8:15 - 9:45 | 00.151-113 | |
N.N. | | |
| | Di | 8:15 - 9:45 | 02.134-113 | |
N.N. | | |
| | Di | 10:15 - 11:45 | 3.71 | |
N.N. | | |
| | Do | 8:15 - 9:45 | 04.019 | |
N.N. | | |
| | Do | 10:15 - 11:45 | 02.133-113 | |
N.N. | | |
| | Do | 16:15 - 17:45 | 02.133-113 | |
N.N. | | |
| | Do | 16:15 - 17:45 | 02.134-113 | |
N.N. | | |
|
VORL; 4 SWS; ECTS: 5
|
WPF INF-MA ab 1
WPF INF-BA ab 5
WPF ASC-MA ab 1
WPF ICT-MA-ES ab 1
|
Schröder, D.
|
|
|
| | Mo Mi | 16:15 - 17:45 10:15 - 11:45 | 00.152-113 00.152-113 | |
Schröder, D. | | |
|
UE; 2 SWS; ECTS: 2,5
|
WPF ASC-MA ab 1
WPF ICT-MA-ES ab 1
|
Schröder, D.
|
|
|
| | Do | 16:15 - 17:45 | 00.152-113 | |
Schröder, D. | | |
|
VORL; 2 SWS; ECTS: 5; Fr, 12:15 - 13:45, 02.134-113
|
WPF CE-MA-INF ab 1
WPF INF-BA-V-THI ab 3
WPF INF-MA ab 1
|
Wanka, R.
|
|
|
|
UE; 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. | | |
|
Theory of Communication in Parallel Systems [TCPS]
VORL; 2 SWS; ECTS: 5; Do, 16:15 - 17:45, 01.019
|
WF ASC-MA ab 1
|
Wanka, R.
|
|
|