UnivIS Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg - Semester: WS 2020/2021
  Config

---

Veranstaltungen anzeigen


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.  

    Di8:15 - 9:4502.134-113  Strahlberger, A. 

    Di8:15 - 9:45H15  Cengiz, Ü. 

    Di10:15 - 11:4501.150-128  Cengiz, Ü. 

    Di10:15 - 11:453.71  Meyer, N. 

    Di16:15 - 17:4501.150-128  Strahlberger, A. 

    Do8:15 - 9:45K1-119 Brose-Saal  Birkmann, F. 

    Do16:15 - 17:4501.150-128  Birkmann, F. 

    Do16:15 - 17:4502.134-113  Lehnert, A. 

 

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.  

    Fr10:15 - 11:453.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.  

    Do10:15 - 11:4502.134-113  Wanka, R. 

   

---
Diese Seite zum Drucken vorbereiten