Birgit Elbl List of Courses

Birgit Elbl - Vorlesungen

Grundstudium

 

Grundlagen der Theoretischen Informatik
(Kurzbeschreibung) (WT 05)
Formale Sprachen und Automatentheorie
(Kurzbeschreibung) (HT 07)

 


Hauptstudium

Mathematische Logik
(Kurzbeschreibung)
Berechenbarkeit
(Kurzbeschreibung)
Spezifikationstechniken
(HT 07)
Lambda-Kalkül
(Kurzbeschreibung)
Techniken der Logikprogrammierung
Programmiersprachen
(FT 07)
Algorithmen und Datenstrukturen
(HT 06)
Datenbanken I
(WT 07)
Semantik von Programmiersprachen