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 >> School of Engineering >> Department of Computer Science >>

Chair of Computer Science 8 (Theoretical Computer Science)

 

Communication and Parallel Processes [CommProc]

VORL; 4 cred.h; ben. certificate; ECTS: 5 		WPF INF-MA 7 Goncharov, S.
Gorin, D. 		 
     Wed
Thu		16:15 - 17:45
14:15 - 15:45		01.151-128
01.151-128		  Goncharov, S.
Gorin, D.		 
 

Übungen zu Communication and Parallel Processes [Ü-CommProc]

UE; 2 cred.h; ECTS: 2,5; Wed, 14:15 - 15:45, 01.255-128 		WPF INF-MA 7 Goncharov, S.  
 

Formale Methoden der Softwareentwicklung [FMSoft]

VORL; 2 cred.h; certificate; ECTS: 2,5; Mon, 10:15 - 11:45, Raum n.V.; Ort: Seminarraum LS INF8, Martensstr. 3, 11. OG 		WPF INF-BA-W 5 Schröder, L.  
 

Übungen zu Formale Methoden der Softwaretechnik [Ü-FMSoft]

UE; 2 cred.h; ben. certificate; ECTS: 2,5; Wed, 14:15 - 15:45, Raum n.V.; Seminarraum INF8, Martensstr. 3, 11. OG 		WPF INF-BA-W 5 Gorin, D.  
 

Foundations of Logic and Logic Programming [GLoLoP]

VORL; 2 cred.h; credit: 2,5; ECTS: 2,5; Anf; Thu, 12:15 - 13:45, H9 		PF INF-BA-S 3
PF INF-BA-W 3
PF WINF-BA 3 		Schröder, L.  
 

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

UE; 2 cred.h; Anf 		PF INF-BA-S 3
PF INF-BA-W 3
PF WINF-BA 3 		Goncharov, S.  
     Tue16:15 - 17:4500.153-113  Goncharov, S. 
 

Übungen zu Grundlagen der Logik und Logikprogrammierung [UeGLoLoP]

UE; 2 cred.h; certificate; credit: 2,5; ECTS: 2,5; Anf 		PF INF-BA-S 3
PF INF-BA-W 3
PF WINF-BA 3 		Goncharov, S.  
     Mon16:00 - 17:300.01-142  Goncharov, S. 
 Kurs wird in Englisch abgehalten.
     Mon16:15 - 17:450.151-115  Goncharov, S. 
     Mon16:15 - 17:45n.V.  Goncharov, S. 
 Ort: Seminarraum LS8, Martensstr. 3, 11. OG.
     Tue14:15 - 15:4501.150-128  Goncharov, S. 
     Wed10:15 - 11:45H4  Goncharov, S. 
     Thu14:15 - 15:45n.V.  Goncharov, S. 
 Ort: Seminarraum LS8, Martensstr. 3, 11. OG. Kurs wird in Englisch abgehalten.
     Thu16:15 - 17:45H10  Goncharov, S. 
 

Ontologien im Semantic Web [OntoSWeb]

VORL; 4 cred.h; ben. certificate; ECTS: 5; Tue, 12:15 - 13:45, 01.255-128; Thu, 10:15 - 11:45, 0.151-115 		WF INF-MA 1
WF INF-BA-V-THI 5 		Schröder, L.  
 

Seminar Theoretische Informatik [ThInfSem]

OS; 2 cred.h; Tue, 14:00 - 16:00, Übung 3 / 01.252-128 		WF INF-BA-W 5-6
WF INF-BA-S 4-6
WF INF-MA ab 1 		Schröder, L.  


UnivIS is a product of Config eG, Buckenhof