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

---

Veranstaltungen anzeigen


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. 		 

    Mo12:15 - 13:45T 0.75  Wendler, A. 

    Mo12:15 - 13:4501.150-128  Braun, K. 

    Mo14:15 - 15:4500.131-128  Göttlinger, M. 

    Di12:15 - 13:4500.131-128  Cengiz, Ü. 

    Di16:15 - 17:4500.131-128  Bay, Ch. 

    Do14:15 - 15:4502.134-113  Fischer, B. 

    Do16:15 - 17:4500.131-128  Meyer, N. 

    Do16:15 - 17:45HF-Technik: SR 5.14  Kern, J. 

    Do16:15 - 17:45SR TM  Jakob, J. 

    Fr8:15 - 9:4500.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, Mi16:15 - 17:45n.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.  

    Do10:15 - 11:4502.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.  

   

---
Diese Seite zum Drucken vorbereiten