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)

 

Grundlagen der Logik und Logikprogrammierung [GLoLoP]

VORL; 2 SWS; Kredit: 2,5; ECTS: 2,5; Anf; Mi, 16:15 - 17:45, H4
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 SWS; Anf
PF INF-BA-S 3
PF INF-BA-W 3
PF WINF-BA 3
Goncharov, S.  
     Mi12:15 - 13:4502.135-113, 02.134-113  Goncharov, S. 
 

Übungen zu Grundlagen der Logik und Logikprogrammierung [UeGLoLoP]

UE; 2 SWS; Schein; Kredit: 2,5; ECTS: 2,5; Anf
PF INF-BA-S 3
PF INF-BA-W 3
PF WINF-BA 3
Goncharov, S.  
     Di14:15 - 15:4501.150-128  Goncharov, S. 
     Di16:15 - 17:4500.152-113  Goncharov, S. 
     Mi10:15 - 11:450.151-115  Goncharov, S. 
     Fr10:15 - 11:4502.134-113  Goncharov, S. 
     Fr12:15 - 13:4501.255-128  Goncharov, S. 
 

Komplexität von Algorithmen [KompAlg]

VORL; 4 SWS; Schein; ECTS: 5; Mi, 12:15 - 13:45, H14; Do, 8:30 - 10:00, H4
PF INF-BA-W 4
PF INF-BA-S 5
Schröder, L.  
 

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

UE; 2 SWS; Schein; ECTS: 2,5; .
PF INF-BA-W 4
PF INF-BA-S 5
  
     Mo12:15 - 13:45E 1.11  N.N. 
     Mo14:15 - 15:45E 1.11  N.N. 
     Mi14:15 - 15:45E 1.12  Schmitt, M. 
     Do14:15 - 15:45E 1.12  N.N. 
     Do14:15 - 15:45E 1.11  Gorin, D. 
     Fr10:15 - 11:4500.152-113  N.N. 
     Fr12:15 - 13:4500.151-113  Gorin, D. 
 

Quantencomputing [QUC]

V/UE; 4 SWS; ben. Schein; ECTS: 5; Di, Do, 16:15 - 17:45, E 1.12
WPF INF-BA-W ab 6
WPF INF-MA 1-4
Strehl, V.  
 

Seminar Theoretische Informatik [ThInfSem]

OS; 2 SWS; Di, 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 ist ein Produkt der Config eG, Buckenhof