UnivIS
Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg © Config eG 
FAU Logo
  Sammlung/Stundenplan    Modulbelegung Home  |  Rechtliches  |  Kontakt  |  Hilfe    
Suche:      Semester:   
 Lehr-
veranstaltungen
   Personen/
Einrichtungen
   Räume   Forschungs-
bericht
   Publi-
kationen
   Internat.
Kontakte
   Examens-
arbeiten
   Telefon &
E-Mail
 
 
 Darstellung
 
kurz

ausführlich

Druckansicht

 
 
Stundenplan

 
 
 Extras
 
alle markieren

alle Markierungen löschen

Ausgabe als XML

 
 
 Außerdem im UnivIS
 
Vorlesungs- und Modulverzeichnis nach Studiengängen

Vorlesungsverzeichnis

 
 
Veranstaltungskalender

Stellenangebote

Möbel-/Rechnerbörse

 
 
Einrichtungen >> Technische Fakultät (TF) >> Department Informatik (INF) >>

Lehrstuhl für Informatik 8 (Theoretische Informatik)

 

Intensivübung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt [IÜThInfWI]

UE; 2 SWS; Mi, 16:15 - 17:45, H4
PF BPT-MA-Inf ab 1
PF INF-LAG 2
PF INF-LAR 2
PF INF-LAG 2
PF WINF-BA 4
PF BPT-MA-Inf ab 1
Milius, S.  
 

Intensivübung zu Theorie der Programmierung [IÜThProg]

UE; 2 SWS; Mo, 14:15 - 15:45, H4
PF INF-BA 4 Rauch, Ch.  
 

Modallogik [ML]

V/UE; 4 SWS; Mo, 14:15 - 15:45, 00.131-128; Do, 8:15 - 9:45, 00.131-128; Raum 00.131, Cauerstraße 11
WF M-MA ab 1
WPF INF-MA ab 1
WPF INF-BA-V-THI ab 4
WF M-BA ab 3
Seifan, F.  
 

Ontologien im Semantic Web [OntoSWeb]

V/UE; 4 SWS; ECTS: 7,5; Die Unterrichtssprache wird im Einvernehmen mit den Teilnehmern bestimmt / The course language will be agreed upon with the participants; Mo, 12:15 - 13:45, 00.131-128; Do, 14:15 - 15:45, H16
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.  
 

Praktische Semantik von Programmiersprachen [SemProg]

V/UE; 4 SWS; Mo, 10:15 - 11:45, 01.255-128; Do, 16:15 - 17:45, 01.255-128; Do, 18:15 - 19:45, 00.131-128
WF M-BA ab 3
WPF INF-BA-V-THI ab 4
WPF INF-MA ab 1
WF M-MA ab 1
Litak, T.  
 

Seminar Theoretische Informatik [ThInfSem]

OS; 2 SWS; Di, 14:00 - 16:00, 00.131-128
WF INF-BA 5-6
WF INF-MA ab 1
Schröder, L.  
 

Theoretische Informatik für Wirtschaftsinformatik und Lehramt [ThInfWI]

VORL; 2 SWS; Mi, 12:15 - 13:45, H5
PF INF-LAG 2
PF BPT-MA-Inf ab 1
PF WINF-BA 4
PF BPT-MA-Inf ab 1
PF INF-LAR 2
Milius, S.  
 

Theorie der Programmierung [ThProg]

VORL; 4 SWS; Mo, 10:15 - 11:45, H9; Do, 16:15 - 17:45, H9
PF INF-BA 4
WPF M-BA 4
Schröder, L.  
 

Übung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt [ÜThInfWI-A]

UE; 2 SWS; Kredit: 2,5
PF BPT-MA-Inf ab 1
PF INF-LAR 2
PF WINF-BA 4
PF INF-LAG 2
PF BPT-MA-Inf ab 1
Litak, T.  
     Mi
Einzeltermin am 11.7.2018
14:15 - 15:45
14:15 - 15:45
01.150-128
0.68
  Bakas, A. 
     Mi14:15 - 15:45K1-119  Seegerer, S. 
     Mi14:15 - 15:450.151-115  Meyer, N. 
     Do10:15 - 11:4500.131-128  Albert, B. 
     Fr12:15 - 13:4502.134-113  Michaeli, T. 
 

Übungen zu Theorie der Programmierung [ÜThProg]

UE; 2 SWS; Schein
PF INF-BA 4 Rauch, Ch.
Goncharov, S.
Seifan, F.
 
     Mo12:15 - 13:450.68  Cengiz, Ü. 
     Mo12:15 - 13:4502.134-113  Grigorjew, A. 
     Mo12:15 - 13:45E 1.11  Weiß, S. 
     Mo12:15 - 13:450.85  Haselmeier, F. 
     Di10:15 - 11:4500.131-128  Braun, K. 
     Di12:15 - 13:4500.131-128  Cengiz, Ü. 
     Do8:15 - 9:4501.151-128  Kern, J. 
     Do8:15 - 9:4501.255-128  Haselmeier, F. 


UnivIS ist ein Produkt der Config eG, Buckenhof