Grundlagen der Logik in der Informatik
|
|
VORL; 2 SWS; ECTS: 5; Anf; Do, 8:30 - 10:00, H11
|
PF INF-BA 3
PF I2F-BA 3
PF WINF-BA 3
|
Schröder, L.
|
|
|
|
Intensivübung zu Grundlagen der Logik in der Informatik [InUeGLoIn]
UE; 2 SWS; Anf; Do, 18:15 - 19:45, 02.133-113
|
PF INF-BA 3
PF WINF-BA 3
|
Dorsch, U.
|
|
|
|
UE; 2 SWS; Anf
|
PF INF-BA 3
PF WINF-BA 3
|
Goncharov, S.
Rauch, Ch.
|
|
|
| | Mo | 10:15 - 11:45 | 01.150-128 | |
Meyer, N. | | |
| | Mo | 10:15 - 11:45 | R4.11 | |
Braun, K. | | |
| | Mo | 12:15 - 13:45 | SR TM | |
Meyer, N. | | |
| | Di | 8:15 - 9:45 | 00.131-128 | |
Cengiz, Ü. | | |
| | Di | 10:15 - 11:45 | 00.131-128 | |
Cengiz, Ü. | | |
| | Di | 16:15 - 17:45 | K1-119 | |
Haselmeier, F. | | |
| | Mi | 12:15 - 13:45 | 02.134-113 | |
Dorsch, U. | | |
| | Mi | 12:15 - 13:45 | 3.71 | |
Diezel, T.L. | | |
| | Do | 10:15 - 11:45 | 01.150-128 | |
Kern, J. | | |
| | Do | 14:15 - 15:45 | K2-119 | |
Diezel, T.L. | | |
| | Do | 14:15 - 15:45 | 02.134-113 | |
Haselmeier, F. | | |
| | Do | 14:15 - 15:45 | 01.150-128 | |
Braun, K. | | |