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)

 

Categories in Programming [CaP]

SEM; 2 SWS; ECTS: 5; Mi, 14:15 - 15:45, 02.133-113
WPF INF-BA ab 4
WPF INF-MA ab 1
WPF M-BA ab 4
WPF M-MA ab 1
Goncharov, S.
Litak, T.
 
 

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

UE; 2 SWS; Di, 10:15 - 11:45, H10
PF BPT-MA-E-Inf 1
PF INF-LAG 4
PF INF-LAR 4
PF INF-LAG 4
PF WINF-BA 4
PF BPT-MA-M-Inf 1
Milius, S.  
 

Intensivübung zu Theorie der Programmierung [IÜThProg]

UE; 2 SWS; Fr, 10:15 - 11:45, H14
PF INF-BA-S 5
PF INF-BA 4
Hausmann, D.  
 

Kommunikation und Parallele Prozesse [KommPar]

V/UE; 4 SWS; ECTS: 7,5; Do, Fr, 12:15 - 13:45, 0.151-115
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.  
 

Monad-Based Programming [MBProg]

V/UE; 4 SWS; ECTS: 7,5; Mi, 10:15 - 11:45, E 1.12; Di, 12:15 - 13:45, 02.133-113; Einzeltermin am 2.7.2015, 16:00 - 19:00, 01.151-128
WF M-BA ab 3
WPF INF-BA-V-THI ab 4
WPF INF-MA ab 1
WF M-MA ab 1
Goncharov, S.  
 

Praktische Semantik von Programmiersprachen [SemProg]

V/UE; 4 SWS; ECTS: 7,5; Mo, 16:15 - 17:45, 02.134-113; Mi, 16:15 - 17:45, E 1.11; Einzeltermin am 13.5.2015, 18:00 - 20:00, 02.134-113; ab 20.4.2015; Note that lectures begin April 20! We can adjust the slots if needed
WF M-BA ab 3
WPF INF-BA-V-THI ab 4
WPF INF-MA ab 1
WF M-MA ab 1
Litak, T.  
 

Seminar Theoretische Informatik [ThInfSem]

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

Theoretische Informatik für Wirtschaftsinformatik und Lehramt [ThInfWI]

VORL; 2 SWS; ECTS: 2,5; Mi, 14:15 - 15:45, H1 Egerlandstr.3, (außer Mi 15.4.2015); Einzeltermine am 15.4.2015, 1.7.2015, 14:15 - 15:45, HG
PF INF-LAG 4
PF BPT-MA-E-Inf 1
PF WINF-BA 4
PF BPT-MA-M-Inf 1
PF INF-LAR 4
Milius, S.  
 

Theorie der Programmierung [ThProg]

VORL; 4 SWS; ECTS: 5; Mo, Do, 14:15 - 15:45, H4
PF INF-BA 4
PF INF-BA-S 5
WPF M-BA 4
Schröder, L.  
 

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

UE; 2 SWS; Kredit: 2,5; ECTS: 2,5
PF BPT-MA-M-Inf 1
PF INF-LAR 4
PF WINF-BA 4
PF INF-LAG 4
PF BPT-MA-E-Inf 1
Litak, T.  
     Mo8:15 - 9:45H4  Seegerer, S. 
     Mo8:15 - 9:45K1-119  Michali, T. 
 Die Übung findet ab 05.05. immer Dienstag 8:15-9:45 im Raum H4 statt!
     Di8:15 - 9:45H4  Michali, T. 
 Die Übung findet bis 28.04.15, Mo 8:15-9:45 im Raum K1-119 statt!
     Di8:15 - 9:450.151-115  Untch, S. 
     Fr
Einzeltermin am 19.6.2015
10:15 - 11:45
10:15 - 11:45
H17 Maschinenbau
Bib KTmfk
  Bhatti, A. 
 Bitte beachten Sie, dass am 19.06.2015 die Übung im Raum 0.033, Martensstraße 9, am LS für Konstruktionstechnik stattfinden wird!
 

Übungen zu Theorie der Programmierung [ÜThProg]

UE; 2 SWS; Schein; ECTS: 2,5
PF INF-BA 4
PF INF-BA-S 5
Hausmann, D.  
     Mi12:15 - 13:45E 1.11  Hausmann, D. 
     Do8:15 - 9:450.151-115  Wild, P. 
     Do8:15 - 9:4500.152-113  Dietel, L. 
     Fr8:15 - 9:4501.255-128  Rabenstein, U. 
     Fr8:15 - 9:4500.152-113  Dietel, L. 
     Fr12:15 - 13:4502.133-113  Bay, Ch. 


UnivIS ist ein Produkt der Config eG, Buckenhof