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

---

Veranstaltungen anzeigen


Theoretische Informatik

Algebra des Programmierens [AlgProg]

V/UE; 4 SWS; ECTS: 7,5; Di, 12:15 - 13:45, 01.150-128; Mi, 10:15 - 11:45, 00.131-128 		WPF INF-MA ab 2
WPF INF-BA-V-THI ab 4
WF M-BA ab 4
WF M-MA ab 2 		Milius, S.  

Algebraische und Logische Aspekte der Automatentheorie [ALoA]

V/UE; 4 SWS; ECTS: 7,5; Mo, 10:15 - 11:45, 01.255-128; Mi, 12:15 - 13:45, 01.255-128 		WPF INF-BA-V-THI ab 5
WPF INF-MA ab 1
WF M-BA ab 5
WF M-MA ab 1 		Urbat, H.
Rauch, Ch. 		 

Formale Methoden der Softwareentwicklung [FMSoft]

V/UE; 4 SWS; ECTS: 7,5; Di, 16:15 - 17:45, 01.255-128; Fr, 10:15 - 11: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, 18:15 - 19:45, 02.133-113 		PF INF-BA 3
PF WINF-BA 3 		Dorsch, U.  

Kommunikation und Parallele Prozesse [KommPar]

V/UE; 4 SWS; ECTS: 7,5; Mo, 14:15 - 15:45, 00.131-128; Mi, 14:15 - 15:45, 0.68 		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 		Schröder, L.  

 

Übungen zu Grundlagen der Logik in der Informatik [UeGLoIn]

UE; 2 SWS; Anf 		PF INF-BA 3
PF WINF-BA 3 		Goncharov, S.
Rauch, Ch. 		 

    Mo10:15 - 11:4501.150-128  Meyer, N. 

    Mo10:15 - 11:45R4.11  Braun, K. 

    Mo12:15 - 13:45SR TM  Meyer, N. 

    Di8:15 - 9:4500.131-128  Cengiz, Ü. 

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

    Di16:15 - 17:45K1-119  Haselmeier, F. 

    Mi12:15 - 13:4502.134-113  Dorsch, U. 

    Mi12:15 - 13:453.71  Diezel, T.L. 

    Do10:15 - 11:4501.150-128  Kern, J. 

    Do14:15 - 15:45K2-119  Diezel, T.L. 

    Do14:15 - 15:4502.134-113  Haselmeier, F. 

    Do14:15 - 15:4501.150-128  Braun, K. 

 

Einführung in die moderne Kryptographie [ModKrypt]

VORL; 4 SWS; ECTS: 5 		WPF INF-MA ab 1
WPF INF-BA ab 5 		Schröder, D.  

    Mi
Mi		8:15 - 9:45
12:15 - 13:45		02.133-113
00.152-113		  Schröder, D. 

 

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

UE; 2 SWS; ECTS: 2,5 		  Schröder, D.  

    Do12:15 - 13:4500.152-113  Schröder, D. 

Effiziente kombinatorische Algorithmen [EffAlg]

VORL; 2 SWS; ECTS: 5; Mi, 08:15 - 09: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.  

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

Theory of Communication in Parallel Systems [TCPS]

VORL; 2 SWS; ECTS: 5; Mo, 10:15 - 11:45, E 1.11 		WF ASC-MA ab 1 Wanka, R.  

   

---
Diese Seite zum Drucken vorbereiten