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ÜThInfWiL]

UE; Online/Präsenz; 2 SWS; Mi, 18:15 - 19:45, H4 		PF BPT-MA-Inf ab 1
PF INF-LAG 2
PF INF-LAR 2
PF INF-LAG-M 2
PF INF-LAG-P 2
PF INF-LAG-E 2
PF INF-LAG-W 2
PF INF-LAR-M 2
PF INF-LAR-P 2
PF INF-LAR-E 2
PF INF-LAR-W 2
PF WINF-BA 4
PF BPT-MA-Inf ab 1 		Milius, S.  
 

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

UE; 2 SWS; Mi, 14:15 - 15:45, H4 		PF INF-BA 4 Wild, P.  
 

Kommunikation und Parallele Prozesse [KommPar]

V/UE; Online/Präsenz; 4 SWS; ECTS: 7,5; Mo, 16:15 - 17:45, 0.68; Do, 12:15 - 13:45, 0.68; ACHTUNG! Wegen der Corona-Krise finden die Veranstaltungen zunächst elektronisch statt. Siehe https://www8.cs.fau.de/teaching/ss21/kommpar/ für aktuelle Information 		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
WPF AI-MA ab 1 		Goncharov, S.  
 

Praktische Semantik von Programmiersprachen [SemProg]

V/UE; 4 SWS; Mo, 16:15 - 17:45, 01.255-128; Do, 14:15 - 15:45, 01.255-128 		WPF AI-MA ab 1
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 Homotopy Type Theory [HoTT]

SEM; Online/Präsenz; 2 SWS; ECTS: 5; Mi, 14:15 - 15:45, Übung 3 / 01.252-128 		WPF M-BA ab 4
WPF INF-BA-SEM ab 4
WPF M-MA ab 1 		Goncharov, S.
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
WF AI-MA ab 1 		Milius, S.  
 

Theoretische Informatik für Wirtschaftsinformatik und Lehramt [ThInfWiL]

VORL; Online/Präsenz; 2 SWS; Do, 12:15 - 13:45, H10 		PF INF-LAG 2
PF INF-LAR 2
PF INF-LAG-M 2
PF INF-LAG-P 2
PF INF-LAG-E 2
PF INF-LAG-W 2
PF INF-LAR-M 2
PF INF-LAR-P 2
PF INF-LAR-E 2
PF BPT-MA-Inf ab 1
PF WINF-BA 4
PF BPT-MA-Inf ab 1
PF INF-LAR-W 2 		Milius, S.  
 

Theorie der Programmierung [ThProg]

VORL; 4 SWS; Di, 14:15 - 15:45, HH; Do, 16:15 - 17:45, H9 		PF INF-BA 4
WPF M-BA 4 		Goncharov, S.  
 

Ü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 INF-LAG 2
PF INF-LAG-M 2
PF INF-LAG-P 2
PF INF-LAG-E 2
PF INF-LAG-W 2
PF INF-LAR-M 2
PF INF-LAR-P 2
PF INF-LAR-E 2
PF WINF-BA 4
PF INF-LAR-W 2
PF BPT-MA-Inf ab 1 		Litak, T.  
     Mo8:15 - 9:4502.134-113  Wittmann, J. 
     Mo14:15 - 15:450.151-115  Elliger, M.O. 
     Mo16:15 - 17:4502.134-113  Landeck, M. 
     Di10:15 - 11:450.151-115  N.N. 
     Mi16:15 - 17:450.151-115  Landeck, M. 
 

Übungen zu Theorie der Programmierung [ÜThProg]

UE; 2 SWS; Schein 		PF INF-BA 4 Wild, P.  
     Mo10:15 - 11:4501.019  Lehnert, A. 
     Mo10:15 - 11:450.85  Kern, V. 
     Di10:15 - 11:450.68  Mattick, A. 
     Mi12:15 - 13:4501.255-128  Strahlberger, A. 
     Do8:15 - 9:4502.133-113  Lehnert, A. 
     Fr10:15 - 11:4501.255-128  Strahlberger, A. 


UnivIS ist ein Produkt der Config eG, Buckenhof