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
 
ACHTUNG: seit 15.06.2022 werden Lehrveranstaltungen nur noch über Campo verwaltet. Diese Daten in UnivIS sind nicht mehr auf aktuellem Stand!
 
 Darstellung
 
kurz

ausführlich

Druckansicht

 
 
Stundenplan

 
 
 Extras
 
alle markieren

alle Markierungen löschen

Ausgabe als XML

 
 
Einrichtungen >> Technische Fakultät (TF) >> Department Informatik (INF) >>

Lehrstuhl für Informatik 8 (Theoretische Informatik)

 

Advanced Competitive Programming

SEM; 2 SWS; ECTS: 5; Fr, 12:15 - 13:45, 00.131-128
WF INF-MA ab 1 Wild, P.  
 

Advanced Mechanized Reasoning in Coq [AMeRiCo(A)]

V/UE; 4 SWS; ECTS: 7,5; Di, 08:15 - 09:45, 01.151-128; Do, 16:15 - 17:45, 01.151-128
WPF INF-MA ab 1
WPF INF-BA-V-THI ab 5
WF M-BA ab 5
WF M-MA ab 1
WPF AI-MA ab 1
Litak, T.  
 

Formale Methoden der Softwareentwicklung [FMSoft(A)]

V/UE; 4 SWS; ECTS: 7,5; Mo, 14:15 - 15:45, 01.255-128; Mi, 16:15 - 17:45, 01.255-128
WPF INF-BA-V-THI ab 4
WPF INF-BA-V-THI ab 4
WPF INF-MA ab 1
WF M-BA ab 4
WF M-MA ab 1
WF IIS-MA ab 1
WF WINF-BA ab 4
Litak, T.
Wild, P.
 
 

Grundlagen der Logik in der Informatik [GLoIn(A)]

VORL; Präsenz; 2 SWS; ECTS: 5; Anf; Do, 10:15 - 11:45, H11
PF INF-BA 3
PF I2F-BA 3
PF INF-BA 1
PF WINF-BA 3
WPF DS-BA 3
Schröder, L.  
 

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

UE; Präsenz; 2 SWS; Anf; Fr, 14:15 - 15:45, 01.150-128
PF INF-BA 3
PF INF-BA 1
PF WINF-BA 3
WPF DS-BA 3
Goncharov, S.  
 

Kommunikation und Parallele Prozesse [KommPar(A)]

V/UE; Präsenz; 4 SWS; ECTS: 7,5; Di, 16:15 - 17:45, 02.133-113; Fr, 10:15 - 11:45, 02.133-113
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
Schröder, L.  
 

Seminar Homotopy Type Theory

SEM; Online/Präsenz; 2 SWS; ECTS: 5; Mi, 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

OS; Präsenz; 2 SWS; Di, 14:00 - 16:00, 00.131-128
WF INF-BA 5-6
WF INF-MA ab 1
Schröder, L.  
 

Themen der Kategorientheorie

SEM; Präsenz; 2 SWS; ECTS: 5; Mi, 10:15 - 11:45, 00.131-128
WPF INF-BA ab 4
WPF INF-MA ab 2
WF M-BA ab 4
WF M-MA ab 2
Milius, S.  
 

Übungen zu Grundlagen der Logik in der Informatik [UeGLoIn(A)]

UE; Präsenz; 2 SWS; Anf
WPF DS-BA 3
PF INF-BA 3
PF INF-BA 1
PF WINF-BA 3
Goncharov, S.  
     Mo08:15 - 09:4502.134-113  N.N. 
     Mo10:15 - 11:4502.134-113  N.N. 
     Mo12:15 - 13:4501.150-128  N.N. 
     Mo12:15 - 13:4502.134-113  N.N. 
     Mo14:15 - 15:4502.134-113  N.N. 
     Di08:15 - 09:4501.150-128  N.N. 
     Di08:15 - 09:4502.134-113  N.N. 
     Mi10:15 - 11:450.031-113  N.N. 
     Mi12:15 - 13:450.031-113  N.N. 
     Mi12:15 - 13:4502.134-113  N.N. 
     Do12:15 - 13:4501.150-128  Wild, P. 
     Do12:15 - 13:4502.134-113  N.N. 
     Fr12:15 - 13:4501.150-128  N.N. 
     Fr12:15 - 13:4502.134-113  N.N. 


UnivIS ist ein Produkt der Config eG, Buckenhof