Theoretische Informatik
|
|
|
V/UE; 4 SWS; ECTS: 7,5; Mi, 12:15 - 13:45, 01.150-128; Do, 08:15 - 09:45, 01.150-128
|
WPF INF-BA-V-THI ab 5
WPF INF-BA-V-THI ab 5
WPF INF-MA ab 7
WF M-BA ab 5
WF M-MA ab 7
WF IIS-MA ab 7
WF WINF-BA ab 5
|
Milius, S.
Litak, T.
|
|
|
|
|
Kryptologie und Protokollverifikation [Crypto]
V/UE; 4 SWS; ECTS: 7,5; Mi, 10:15 - 11:45, 0.15; Do, 10:15 - 11:45, EE 0.135
|
WF M-BA ab 5
WPF INF-BA-V-THI ab 5
WPF INF-MA ab 7
WPF INF-BA-V-THI ab 5
WF M-MA ab 7
WF IIS-MA ab 7
WF WINF-BA ab 5
|
Milius, S.
|
|
|
|
|
Ontologien im Semantic Web [OntoSWeb]
VORL; 4 SWS; ECTS: 7,5; Do, 16:15 - 17:45, 01.255-128; Fr, 12:15 - 13:45, 01.255-128
|
WF MT-BA-S ab 5
WF MT-BA ab 5
WF SIM-DH ab 5
WF Ph-BA ab 5
WF M-BA ab 3
WPF INF-MA ab 7
WPF INF-BA-V-THI ab 5
WF M-MA ab 7
WF Ph-MA ab 7
WF WINF-BA ab 5
WF IIS-MA ab 7
WF SIM-MA ab 7
WF MT-MA ab 7
|
Schröder, L.
|
|
|
|
|
Übungen zu Grundlagen der Logik in der Informatik [UeGLoIn]
UE; 2 SWS; Kredit: 2,5; ECTS: 2,5; Anf
|
PF INF-BA-S 3
PF INF-BA 3
PF I2F-BA-S 3
PF WINF-BA 3
|
Goncharov, S.
|
|
|
| | | Mo | 12:15 - 13:45 | R4.15 | |
N.N. | | |
| | ab 21.10.2014 |
| | | Mo | 14:15 - 15:45 | 02.133-113 | |
N.N. | | |
| | ab 21.10.2014 |
| | | Di | 8:15 - 9:45 | 01.255-128 | |
N.N. | | |
| | ab 21.10.2014 |
| | | Di | 10:15 - 11:45 | 01.255-128 | |
N.N. | | |
| | ab 21.10.2014 |
| | | Di | 14:15 - 15:45 | 02.133-113 | |
N.N. | | |
| | ab 21.10.2014 |
| | | Fr | 10:15 - 11:45 | 02.134-113 | |
N.N. | | |
| | ab 21.10.2014 |
| | | Fr | 12:15 - 13:45 | R4.11 | |
N.N. | | |
| | ab 21.10.2014 |
|
|
Effiziente kombinatorische Algorithmen [EffAlg]
VORL; 2 SWS; ECTS: 5; Do, 12:15 - 13:45, E 1.11
|
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
|
| |
|
| | | Fr | 8:15 - 9:45 | E 1.11 | |
Wanka, R. | | |
