Theoretische Informatik
|
Formale Methoden der Softwareentwicklung [FMSoft]
V/UE; 4 SWS; ECTS: 7,5; Di, Mi, 16:15 - 17:45, 01.255-128
|
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.
|
Intensivübung zu Grundlagen der Logik in der Informatik [InUeGLoIn]
UE; 2 SWS; Anf; Do, 12:15 - 13:45, 02.133-113
|
PF INF-BA 3
PF WINF-BA 3
|
Goncharov, S.
Hausmann, D.
|
Kategorien in der Programmierung [KatProg]
V/UE; 4 SWS; ECTS: 7,5; Mo, 16:15 - 17:45, 01.255-128; Mi, 14:15 - 15:45, 01.255-128
|
WF M-MA ab 1
WPF INF-MA ab 1
WPF INF-BA-V-THI ab 3
WF M-BA ab 3
|
Milius, S.
|
Übungen zu Grundlagen der Logik in der Informatik [UeGLoIn]
UE; 2 SWS; Anf
|
PF INF-BA 3
PF WINF-BA 3
|
Goncharov, S.
Litak, T.
|
| Mo | 12:15 - 13:45 | T 0.75 | |
Wendler, A. |
| Mo | 12:15 - 13:45 | 01.150-128 | |
Braun, K. |
| Mo | 14:15 - 15:45 | 00.131-128 | |
Göttlinger, M. |
| Di | 12:15 - 13:45 | 00.131-128 | |
Cengiz, Ü. |
| Di | 16:15 - 17:45 | 00.131-128 | |
Bay, Ch. |
| Do | 14:15 - 15:45 | 02.134-113 | |
Fischer, B. |
| Do | 16:15 - 17:45 | HF-Technik: SR 5.14 | |
Kern, J. |
| Do | 16:15 - 17:45 | 00.131-128 | |
Meyer, N. |
| Do | 16:15 - 17:45 | SR TM | |
Jakob, J. |
| Fr | 8:15 - 9:45 | 00.131-128 | |
Knörr, F. |
Einführung in die algorithmische Kryptographie [AlgKrypto]
VORL; 4 SWS; ECTS: 5; Mi, Do, 12:15 - 13:45, 00.152-113; ab 19.10.2017
|
WPF INF-MA ab 1
WPF INF-BA ab 5
|
Schröder, D.
|
Einführung in die algorithmische Kryptographie [ÜAlgKrypto]
UE; 2 SWS; ECTS: 2,5; Di, 10:15 - 11:45, 00.152-113
|
|
Schröder, D.
|
Public-Key Kryptographie [PubCrypto]
VORL; 4 SWS; ben. Schein; ECTS: 5
|
WPF INF-MA ab 1
WPF INF-BA ab 5
|
Döttling, N.
|
| n.V. | | | |
N.N. |
| Dienstags Vorlesung, mittwochs Übung |
| Di, Mi | 16:15 - 17:45 | n.V. | |
Döttling, N. und Mitarbeiter/innen |
| Fürther Straße 246C / Eingang 5, 90429 Nürnberg |
Effiziente kombinatorische Algorithmen [EffAlg]
VORL; 2 SWS; ECTS: 5; Di, 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]
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.
|
| Do | 10:15 - 11:45 | 02.134-113 | |
Wanka, R. |
Theory of Communication in Parallel Systems [TCPS]
VORL; 2 SWS; ECTS: 5; Do, 14:15 - 15:45, 02.112-128
|
WF ASC-MA ab 1
|
Wanka, R.
|