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

---

Veranstaltungen anzeigen


Theoretische Informatik

Formale Methoden der Softwareentwicklung [FMSoft]

V/UE; 4 SWS; ECTS: 7,5; Mi, 16:15 - 17:45, Raum n.V.; Fr, 14:15 - 15:45, 02.133-113; Mi, 16.15-17.45: Raum 00.131-128, Cauerstraße 11, EG 		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; Di, 12:15 - 13:45, 02.133-113 		PF INF-BA-S 3
PF INF-BA 3
PF I2F-BA-S 3
PF WINF-BA 3 		Goncharov, S.
Milius, S. 		 

Kommunikation und Parallele Prozesse [KommPar]

V/UE; 4 SWS; ECTS: 7,5; Di, 16:15 - 17:45, 0.151-115; Do, 14:15 - 15:45, 0.151-115 		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 		Goncharov, S.  

Logische Grundlagen der Datenbanktheorie [LGruDat]

V/UE; 4 SWS; ben. Schein; ECTS: 7,5; Mi, 14:15 - 15:45, 01.255-128; Do, 14:15 - 15:45, Raum n.V.; Do, 14.15-15.45 Uhr im Raum 00.131-128, Cauerstraße 11 		WPF INF-MA ab 1
WPF INF-BA-V-THI ab 4
WPF INF-BA-V-THI ab 4
WF M-BA ab 4
WF M-BA ab 7 		Litak, T.
Rauch, Ch. 		 

Ontologien im Semantic Web [OntoSWeb]

VORL; 4 SWS; ECTS: 7,5; Mo, 14:15 - 15:45, H16; Di, 12:15 - 13:45, Raum n.V.; Dienstag 12.15-13.45, Raum 00.131-128, Cauerstr. 11! 		WF M-BA ab 3
WPF INF-MA ab 1
WPF INF-BA-V-THI ab 5
WF M-MA ab 1 		Schröder, L.  

 

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

UE; 2 SWS; Anf 		PF INF-BA-S 3
PF INF-BA 3
PF I2F-BA-S 3
PF WINF-BA 3 		Goncharov, S.
Milius, S. 		 

    Mo12:15 - 13:4500.152-113  Höllring, K. 

    Mo12:15 - 13:4501.255-128  Kern, J. 

    Mo14:15 - 15:4500.152-113  Hausmann, D. 

    Mo14:15 - 15:45K2-119  Höllring, K. 

    Mo14:15 - 15:45n.V.  Liebezeit, F. 

 Die Übung findet im Raum 00.131-128, EG, Felix-Klein-Gebäude, Cauerstraße 11 statt.
    Di14:15 - 15:4501.150-128  Meyer, N. 

    Di14:15 - 15:4500.152-113  Haselmeier, F. 

    Di16:15 - 17:4501.255-128  Rainer, S. 

    Mi10:15 - 11:4500.151-113  Göttlinger, M. 

    Mi10:15 - 11:45HF-Technik: SR 5.14  Liebezeit, F. 

    Mi12:15 - 13:4500.152-113  Polzer, M. 

    Fr8:15 - 9:45n.V.  Bauer, J. 

 Raum 00.131-128 (Cauerstraße 11, EG)

Effiziente kombinatorische Algorithmen [EffAlg]

VORL; 2 SWS; ECTS: 5; Mo, 12:15 - 13: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.  

    Mi8:30 - 10:0001.150-128  Wanka, R. 

   

---
Diese Seite zum Drucken vorbereiten