Theoretische Informatik
|
Formale Methoden der Softwareentwicklung [FMSoft]
V/UE; Online/Präsenz; 4 SWS; ECTS: 7,5; Mi, 14:15 - 15:45, 01.255-128; Do, 12:15 - 13:45, 00.131-128; Vorlesungen und Übungen finden als Liveübertragungen statt, nach Absprache auch in Präsenz; Auswahl des Konferenzdienstes erfolgt über StudOn
|
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; Online; 2 SWS; Anf; Mo, 12:15 - 13:45
|
PF INF-BA 3
PF WINF-BA 3
|
Goncharov, S.
|
Nonclassical Logics in Computer Science [NoCL]
V/UE; Online/Präsenz; 4 SWS; Schein; ECTS: 7,5; Mo, Di, 12:15 - 13:45, 01.255-128; Raumreservierung bleibt zunächst bestehen. Veranstaltung wird nach Möglichkeit in Präsenz angeboten, bei Bedarf mit digitalem Zusatzangebot, etwa Liveübertragung per Zoom.
|
WF Ph-MA ab 1
WF IIS-MA 1
WF M-BA ab 3
WF INF-BA ab 6
WF INF-MA ab 1
WPF INF-BA-V-THI ab 5
WF M-MA ab 1
WF WINF-BA ab 5
WF MT-MA ab 1
WF Ph-BA ab 5
|
Litak, T.
Schröder, L.
|
Themen der Kategorientheorie [TopCat]
SEM; Online/Präsenz; 2 SWS; ECTS: 5; Mi, 10:15 - 11:45, 00.131-128; Präsenztermine evtl. im Wechsel mit Online-Meeting in Zoom
|
WPF INF-BA ab 4
WPF INF-MA ab 2
WF M-BA ab 4
WF M-MA ab 2
|
Milius, S.
|
Übungen zu Grundlagen der Logik in der Informatik [UeGLoIn]
UE; Online; 2 SWS; Anf
|
PF INF-BA 3
PF WINF-BA 3
|
Goncharov, S.
|
| Di | 8:15 - 9:45 | 02.134-113 | |
Strahlberger, A. |
| Di | 8:15 - 9:45 | H15 | |
Cengiz, Ü. |
| Di | 10:15 - 11:45 | 3.71 | |
Meyer, N. |
| Di | 10:15 - 11:45 | 01.150-128 | |
Cengiz, Ü. |
| Di | 16:15 - 17:45 | 01.150-128 | |
Strahlberger, A. |
| Do | 8:15 - 9:45 | K1-119 Brose-Saal | |
Birkmann, F. |
| Do | 16:15 - 17:45 | 02.134-113 | |
Lehnert, A. |
| Do | 16:15 - 17:45 | 01.150-128 | |
Birkmann, F. |
Einführung in die moderne Kryptographie [ModKrypt]
VORL; 4 SWS; ECTS: 5; ONLINE TEACHING! All infos will be communicated via StudOn.
|
WPF ICT-MA-ES ab 1
WPF INF-MA ab 1
WPF INF-BA ab 5
WPF ASC-MA ab 1
WPF ICT-MA-NDC ab 1
|
Schröder, D.
|
| Mo Mi | 16:15 - 17:45 10:15 - 11:45 | 00.152-113 01.255-128 | |
Schröder, D. |
Einführung in die moderne Kryptographie (Übung) [ÜModKrypt]
UE; 2 SWS; ECTS: 2,5; ONLINE TEACHING! All infos will be communicated via StudOn.
|
WPF ICT-MA-ES ab 1
WPF ASC-MA ab 1
WPF ICT-MA-NDC ab 1
|
Schröder, D.
|
| Fr | 10:15 - 11:45 | 3.71 | |
Schröder, D. |
Password Based Cryptography [PassCrypt]
V/UE; 4 SWS; ben. Schein; ECTS: 5; ONLINE TEACHING! All infos will be communicated via StudOn.; Mo, 12:15 - 13:45, 00.152-113; Fr, 10:15 - 11:45, 02.019; ONLINE TEACHING! All infos will be communicated via StudOn.
|
WPF INF-BA ab 5
WPF INF-MA ab 1
|
Schröder, D.
u. Mitarbeiter
|
Effiziente kombinatorische Algorithmen [EffAlg]
VORL; Online; 2 SWS; ECTS: 5; Di, 14:15 - 15: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; Online; 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. |