UnivIS
Information system of Friedrich-Alexander-University Erlangen-Nuremberg © Config eG 
FAU Logo
  Collection/class schedule    module collection Home  |  Legal Matters  |  Contact  |  Help    
search:      semester:   
 Lectures   Staff/
Facilities		   Room
directory		   Research-
report		   Publications   Internat.
contacts		   Thesis
offers		   Phone
book		 
 
 Layout
 
short

verbose

printable version

  
 
class schedule

  
 
 Extras
 
tag all

untag all

export to XML

  
 
 Also in UnivIS
 
course list

lecture directory

  
 
events calendar

job offers

furniture and equipment offers

  
 
Departments >> Faculty of Engineering >> Department of Computer Science >>

Chair of Computer Science 8 (Theoretical Computer Science)

 

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

UE; Online/Präsenz; 2 cred.h; Wed, 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 cred.h; Wed, 14:15 - 15:45, H4 		PF INF-BA 4 Wild, P.  
 

Kommunikation und Parallele Prozesse [KommPar]

V/UE; Online/Präsenz; 4 cred.h; ECTS: 7,5; Mon, 16:15 - 17:45, 0.68; Thu, 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 cred.h; Mon, 16:15 - 17:45, 01.255-128; Thu, 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 cred.h; ECTS: 5; Wed, 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 cred.h; Tue, 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 cred.h; Thu, 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 cred.h; Tue, 14:15 - 15:45, HH; Thu, 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 cred.h; credit: 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.  
     Mon8:15 - 9:4502.134-113  Wittmann, J. 
     Mon14:15 - 15:450.151-115  Elliger, M.O. 
     Mon16:15 - 17:4502.134-113  Landeck, M. 
     Tue10:15 - 11:450.151-115  N.N. 
     Wed16:15 - 17:450.151-115  Landeck, M. 
 

Übungen zu Theorie der Programmierung [ÜThProg]

UE; 2 cred.h; certificate 		PF INF-BA 4 Wild, P.  
     Mon10:15 - 11:450.85  Kern, V. 
     Mon10:15 - 11:4501.019  Lehnert, A. 
     Tue10:15 - 11:450.68  Mattick, A. 
     Wed12:15 - 13:4501.255-128  Strahlberger, A. 
     Thu8:15 - 9:4502.133-113  Lehnert, A. 
     Fri10:15 - 11:4501.255-128  Strahlberger, A. 


UnivIS is a product of Config eG, Buckenhof