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

 ---

Veranstaltungen anzeigen


Theoretische Informatik

Formale Methoden der Softwareentwicklung [FMSoft]

V/UE; 4 SWS; ECTS: 7,5; Di, 12:15 - 13:45, 00.152-113; Mi, 16:15 - 17:45, 00.152-113; Bitte keine fensterlosen Räume planen!
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.
 

Nonclassical Logics in Computer Science [NoCL]

VORL; 4 SWS; ECTS: 7,5; Mo, 14:15 - 15:45, 01.255-128; Di, 16:15 - 17:45, 01.255-128
WF SIM-DH ab 5
WF Ph-BA ab 5
WF M-BA ab 3
WPF INF-MA ab 1
WPF INF-BA-V-THI ab 5
WF M-MA ab 1
WF Ph-MA ab 1
WF WINF-BA ab 5
WF IIS-MA ab 1
WF SIM-MA ab 1
WF MT-MA ab 1
Litak, T.
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.  

    Mo10:15 - 11:4501.150-128  Wilhelm, T. 

    Mi12:15 - 13:45R4.15  Rauch, Ch. 

    Mi12:15 - 13:4501.153-113  Kern, J. 

    Mi12:15 - 13:4501.150-128  Braun, L. 

    Do14:15 - 15:450.154-115  Hausmann, D. 

    Do14:15 - 15:45K2-119  Dietel, L. 

    Do14:15 - 15:450.151-115  Deifel, H.-P. 

    Do14:15 - 15:45HF-Technik: SR 5.14  Paulus, D. 

    Fr8:15 - 9:45H15  Wild, P. 

    Fr8:15 - 9:45H3 Egerlandstr.3  Polzer, T. 

    Fr8:15 - 9:45K1-119  Bauer, J. 

    Fr14:15 - 15:4502.134-113  Hausmann, D. 

Effiziente kombinatorische Algorithmen [EffAlg]

VORL; 2 SWS; ECTS: 5; Mi, 10:15 - 11:45, E 1.12
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.  

    Di14:15 - 15:4501.150-128  Wanka, R. 

   

 ---
Diese Seite zum Drucken vorbereiten