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

---

Veranstaltungen anzeigen


Theoretische Informatik

Advanced Mechanized Reasoning in Coq [AMeRiCo(A)]

V/UE; 4 SWS; ECTS: 7,5; Di, 08:15 - 09:45, 01.151-128; Do, 16:15 - 17:45, 01.151-128 		WPF INF-MA ab 1
WPF INF-BA-V-THI ab 5
WF M-BA ab 5
WF M-MA ab 1
WPF AI-MA ab 1 		Litak, T.  

Formale Methoden der Softwareentwicklung [FMSoft(A)]

V/UE; 4 SWS; ECTS: 7,5; Mo, 14:15 - 15:45, 01.255-128; Mi, 16:15 - 17:45, 01.255-128 		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(A)]

UE; Präsenz; 2 SWS; Anf; Fr, 14:15 - 15:45, 01.150-128 		PF INF-BA 3
PF INF-BA 1
PF WINF-BA 3
WPF DS-BA 3 		Goncharov, S.  

Kommunikation und Parallele Prozesse [KommPar(A)]

V/UE; Präsenz; 4 SWS; ECTS: 7,5; Di, 16:15 - 17:45, 02.133-113; Fr, 10:15 - 11:45, 02.133-113 		WF M-BA ab 3
WPF INF-MA ab 1
WPF INF-MA ab 1
WPF INF-BA-V-THI ab 4
WPF INF-BA-V-THI ab 4
WF M-MA ab 1
WPF AI-MA ab 1 		Schröder, L.  

Seminar Homotopy Type Theory

SEM; Online/Präsenz; 2 SWS; ECTS: 5; Mi, 14:15 - 15:45, Übung 3 / 01.252-128 		WPF M-BA ab 4
WPF INF-BA-SEM ab 4
WPF M-MA ab 1 		Goncharov, S.
Litak, T. 		 

Themen der Kategorientheorie

SEM; Präsenz; 2 SWS; ECTS: 5; Mi, 10:15 - 11:45, 00.131-128 		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(A)]

UE; Präsenz; 2 SWS; Anf 		WPF DS-BA 3
PF INF-BA 3
PF INF-BA 1
PF WINF-BA 3 		Goncharov, S.  

    Mo08:15 - 09:4502.134-113  N.N. 

    Mo10:15 - 11:4502.134-113  N.N. 

    Mo12:15 - 13:4501.150-128  N.N. 

    Mo12:15 - 13:4502.134-113  N.N. 

    Mo14:15 - 15:4502.134-113  N.N. 

    Di08:15 - 09:4501.150-128  N.N. 

    Di08:15 - 09:4502.134-113  N.N. 

    Mi10:15 - 11:450.031-113  N.N. 

    Mi12:15 - 13:450.031-113  N.N. 

    Mi12:15 - 13:4502.134-113  N.N. 

    Do12:15 - 13:4502.134-113  N.N. 

    Do12:15 - 13:4501.150-128  Wild, P. 

    Fr12:15 - 13:4502.134-113  N.N. 

    Fr12:15 - 13:4501.150-128  N.N. 

 

Einführung in die moderne Kryptographie [ModKrypt(A)]

VORL; Online; 4 SWS; ECTS: 5 		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.  

    Do14:15 - 15:45, 15:45 - 17:15SR 00.030  Schröder, D. 

 

Einführung in die moderne Kryptographie (Übung) [ÜModKrypt(A)]

UE; Online; 2 SWS; ECTS: 2,5 		WPF ICT-MA-ES ab 1
WPF ASC-MA ab 1
WPF ICT-MA-NDC ab 1 		Schröder, D.  

    Di12:30 - 14:00SR 00.030  Schröder, D. 

Effiziente kombinatorische Algorithmen [EffAlg(A)]

VORL; Präsenz; 2 SWS; ECTS: 5; Do, 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(A)]

UE; Präsenz; 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.  

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

   

---
Diese Seite zum Drucken vorbereiten