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)

 

Foundations of Logic and Logic Programming [GLoLoP]

VORL; 2 cred.h; credit: 2,5; ECTS: 2,5; Anf; Mon, 10:15 - 11:45, H4 		PF INF-BA-S 3
PF INF-BA-W 3
PF I2F-BA-W 2
PF I2F-BA-S 3
PF WINF-BA 3 		Schröder, L.  
 

Intensivübung zu Grundlagen der Logik und Logikprogrammierung [InUeGLoLoP]

UE; 2 cred.h; Anf; Zeit und Raum n.V. 		PF INF-BA-S 3
PF INF-BA-W 3
PF I2F-BA-S 3
PF I2F-BA-W 2
PF WINF-BA 3 		Goncharov, S.  
 

Kommunikation und Parallele Prozesse [KommPar]

VORL; 2 cred.h; ECTS: 5 		WPF INF-MA ab 7
WPF INF-MA ab 7
WPF INF-BA-V-THI ab 4
WPF INF-BA-V-THI ab 4 		Goncharov, S.  
     Tue10:15 - 11:4500.152-113  Goncharov, S. 
 

Übungen zu Kommunikation und Parallele Prozesse [Ü-KommPar]

UE; 2 cred.h; ECTS: 2,5; Thu, 16:00 - 17:30, Raum n.V. 		WPF INF-MA 8
WPF INF-MA 10
WPF INF-BA-V-THI 5
WPF INF-BA-V-THI 6
WPF INF-BA-V-THI 4 		Goncharov, S.  
 

Komplexität von Algorithmen [KompAlg]

VORL; 4 cred.h; certificate; ECTS: 5; Wed, 08:15 - 09:45, H9; Fri, 10:15 - 11:45, H9 		PF INF-BA-W 4
PF INF-BA-S 5 		Schröder, L.  
 

Übungen zu Komplexität von Algorithmen [ÜKompAlg]

UE; 2 cred.h; certificate; ECTS: 2,5 		PF INF-BA-W 4
PF INF-BA-S 5 		Gorin, D.  
     Mon12:15 - 13:45n.V.  Gorin, D. 
     Mon12:15 - 13:45E 1.11  Gorin, D. 
     Tue16:15 - 17:45E 1.11  Litak, T. 
     Thu10:15 - 11:45n.V.  Litak, T. 
 Seminarraum INF8, 11.150
     Thu14:15 - 15:4502.133-113  Gorin, D. 
     Thu16:15 - 17:45E 1.12  Gorin, D. 
     Fri16:15 - 17:45E 1.12  Gorin, D. 
 

Praktische Semantik von Programmiersprachen [SemProg]

VORL; 2 cred.h; ECTS: 5; Wed, 16:15 - 17:45, 00.152-113 		WPF INF-BA-V-THI ab 4
WPF INF-MA 7 		Gorin, D.
Litak, T. 		 
 

Übungen zu Praktische Semantik von Programmiersprachen [UE-SemProg]

UE; 2 cred.h; ECTS: 2,5; Wed, 14:15 - 15:45, 00.152-113 		WPF INF-BA-V-THI ab 4
WPF INF-MA ab 7 		Gorin, D.
Litak, T. 		 
 

Seminar Theoretische Informatik [ThInfSem]

OS; 2 cred.h; Tue, 14:00 - 16:00, Raum n.V.; Seminarraum INF8, Martensstr. 3, 11. Stock, Raum 11.150 		WPF INF-BA-V-THI ab 4
WPF INF-BA-S ab 4
WPF INF-MA ab 7 		Schröder, L.  
 

Theoretische Informatik für Wirtschaftsinformatik und Lehramt [ThInfWI]

VORL; 2 cred.h; ECTS: 2,5; Thu, 12:15 - 13:45, H5 		PF INF-LAG 4
PF BPT-MA-E-Inf 1
PF WINF-BA 2
PF BPT-MA-M-Inf 1
PF INF-LAR 4 		Milius, S.  
 

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

UE; 1 cred.h; Seminarraum Inf8, Martenstr.3, 11.150 		PF BPT-MA-E-Inf 1
PF INF-LAG 4
PF INF-LAR 4
PF INF-LAG 4
PF WINF-BA 2
PF BPT-MA-M-Inf 1 		Milius, S.  
 

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

UE; 2 cred.h; credit: 2,5; ECTS: 2,5 		PF BPT-MA-M-Inf 1
PF INF-LAR 4
PF WINF-BA 2
PF INF-LAG 4
PF BPT-MA-E-Inf 1 		Milius, S.  
     Wed8:15 - 9:4502.133-113  Milius, S. 
     Wed10:15 - 11:450.151-115  Milius, S. 
     Thu10:15 - 11:450.154-115  Milius, S. 
 

Übungen zu Grundlagen der Logik und Logikprogrammierung [UeGLoLoP]

UE; 2 cred.h; credit: 2,5; ECTS: 2,5; Anf 		PF INF-BA-S 3
PF INF-BA-W 3
PF I2F-BA-S 3
PF I2F-BA-W 2
PF WINF-BA 3 		Goncharov, S.  
     Mon16:00 - 17:300.01-142  Goncharov, S. 
     Tue14:15 - 15:4501.150-128  Goncharov, S. 
     Wed12:15 - 13:45Übung 3 / 01.252-128  Goncharov, S. 
     Wed14:15 - 15:45H10  Goncharov, S. 


UnivIS is a product of Config eG, Buckenhof