Birgit Elbl Vorlesungen

Birgit Elbl - Vorlesungen

(Zu allen Vorlesungen sind hier kurze Beschreibungen der Inhalte zu finden. Bei den kürzlich abgehaltenen und den aktuellen Veranstaltungen führen Links zu weiteren Informationen.)

Grundstudium

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

Hauptstudium

Mathematische Logik
(Kurzbeschreibung)
Berechenbarkeit
(Kurzbeschreibung)
Spezifikationstechniken
(Kurzbeschreibung) (HT 05)
Lambda-Kalkül
(Kurzbeschreibung)
Techniken der Logikprogrammierung
(Kurzbeschreibung)