Theoretische Informatik
|
Formale Methoden der Softwareentwicklung [FMSoft]
V/UE; 4 SWS; ECTS: 7,5; Di, 12:15 - 13:45, 00.152-113; Mi, 16:15 - 17:45, 00.152-113; Bitte keine fensterlosen Räume planen!
|
WPF INF-BA-V-THI ab 5
WPF INF-BA-V-THI ab 5
WPF INF-MA ab 1
WF M-BA ab 5
WF M-MA ab 1
WF IIS-MA ab 1
WF WINF-BA ab 5
|
Litak, T.
Rauch, Ch.
|
Nonclassical Logics in Computer Science [NoCL]
VORL; 4 SWS; ECTS: 7,5; Mo, 14:15 - 15:45, 01.255-128; Di, 16:15 - 17:45, 01.255-128
|
WF SIM-DH ab 5
WF Ph-BA ab 5
WF M-BA ab 3
WPF INF-MA ab 1
WPF INF-BA-V-THI ab 5
WF M-MA ab 1
WF Ph-MA ab 1
WF WINF-BA ab 5
WF IIS-MA ab 1
WF SIM-MA ab 1
WF MT-MA ab 1
|
Litak, T.
Schröder, L.
|
Übungen zu Grundlagen der Logik in der Informatik [UeGLoIn]
UE; 2 SWS; Anf
|
PF INF-BA-S 3
PF INF-BA 3
PF I2F-BA-S 3
PF WINF-BA 3
|
Goncharov, S.
|
| Mo | 10:15 - 11:45 | 01.150-128 | |
Wilhelm, T. |
| Mi | 12:15 - 13:45 | 01.153-113 | |
Kern, J. |
| Mi | 12:15 - 13:45 | R4.15 | |
Rauch, Ch. |
| Mi | 12:15 - 13:45 | 01.150-128 | |
Braun, L. |
| Do | 14:15 - 15:45 | 0.154-115 | |
Hausmann, D. |
| Do | 14:15 - 15:45 | 0.151-115 | |
Deifel, H.-P. |
| Do | 14:15 - 15:45 | K2-119 | |
Dietel, L. |
| Do | 14:15 - 15:45 | HF-Technik: SR 5.14 | |
Paulus, D. |
| Fr | 8:15 - 9:45 | H3 Egerlandstr.3 | |
Polzer, T. |
| Fr | 8:15 - 9:45 | H15 | |
Wild, P. |
| Fr | 8:15 - 9:45 | K1-119 | |
Bauer, J. |
| Fr | 14:15 - 15:45 | 02.134-113 | |
Hausmann, D. |
Effiziente kombinatorische Algorithmen [EffAlg]
VORL; 2 SWS; ECTS: 5; Mi, 10:15 - 11:45, E 1.12
|
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]
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.
|
| Di | 14:15 - 15:45 | 01.150-128 | |
Wanka, R. |