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)

 

Advanced Competitive Programming [ACP]

SEM; 2 cred.h; ECTS: 5; block seminar 4.3.2019-12.3.2019 Mon, Tue, Wed, Thu, Fri, 10:15 - 11:45, 00.131-128; block seminar 4.3.2019-12.3.2019 Mon, Tue, Wed, Thu, Fri, 13:15 - 17:45, 0.01-142; Dienstag,12.03.2019: 10.15-11.45 Uhr und 13.15-18.45 Uhr 		WF INF-MA ab 1 Wild, P.  
 

Algebra des Programmierens [AlgProg]

V/UE; 4 cred.h; ECTS: 7,5; Tue, 12:15 - 13:45, 01.150-128; Wed, 10:15 - 11:45, 00.131-128 		WPF INF-MA ab 2
WPF INF-BA-V-THI ab 4
WF M-BA ab 4
WF M-MA ab 2 		Milius, S.  
 

Algebraische und Logische Aspekte der Automatentheorie [ALoA]

V/UE; 4 cred.h; ECTS: 7,5; Mon, 10:15 - 11:45, 01.255-128; Wed, 12:15 - 13:45, 01.255-128 		WPF INF-BA-V-THI ab 5
WPF INF-MA ab 1
WF M-BA ab 5
WF M-MA ab 1 		Urbat, H.
Rauch, Ch. 		 
 

Formale Methoden der Softwareentwicklung [FMSoft]

V/UE; 4 cred.h; ECTS: 7,5; Tue, 16:15 - 17:45, 01.255-128; Fri, 10:15 - 11:45, 01.255-128 		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. 		 
 

Logic in Computer Science [GLoIn]

VORL; 2 cred.h; ECTS: 5; Anf; Thu, 8:30 - 10:00, H11 		PF INF-BA 3
PF I2F-BA 3
PF WINF-BA 3 		Schröder, L.  
 

Intensivübung zu Grundlagen der Logik in der Informatik [InUeGLoIn]

UE; 2 cred.h; Anf; Thu, 18:15 - 19:45, 02.133-113 		PF INF-BA 3
PF WINF-BA 3 		Dorsch, U.  
 

Kommunikation und Parallele Prozesse [KommPar]

V/UE; 4 cred.h; ECTS: 7,5; Mon, 14:15 - 15:45, 00.131-128; Wed, 14:15 - 15:45, 0.68 		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 		Schröder, L.  
 

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 		Schröder, L.  
 

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

UE; 2 cred.h; Anf 		PF INF-BA 3
PF WINF-BA 3 		Goncharov, S.
Rauch, Ch. 		 
     Mon10:15 - 11:4501.150-128  Meyer, N. 
     Mon10:15 - 11:45R4.11  Braun, K. 
     Mon12:15 - 13:45SR TM  Meyer, N. 
     Tue8:15 - 9:4500.131-128  Cengiz, Ü. 
     Tue10:15 - 11:4500.131-128  Cengiz, Ü. 
     Tue16:15 - 17:45K1-119  Haselmeier, F. 
     Wed12:15 - 13:4502.134-113  Dorsch, U. 
     Wed12:15 - 13:453.71  Diezel, T.L. 
     Thu10:15 - 11:4501.150-128  Kern, J. 
     Thu14:15 - 15:45K2-119  Diezel, T.L. 
     Thu14:15 - 15:4501.150-128  Braun, K. 
     Thu14:15 - 15:4502.134-113  Haselmeier, F. 


UnivIS is a product of Config eG, Buckenhof