Birgit Elbl List of Courses

Birgit Elbl - Lehrveranstaltungen

 

Mathematische Strukturen
Grundlagen der Theoretischen Informatik
Formale Sprachen und Automatentheorie
Praktikum "Korrekte Software"
(gemeinsam mit apl. Prof. L. Schmitz)

 

Formale Entwicklung korrekter Software: Spezifikation
Logikprogrammierung
Mathematische Logik
Berechenbarkeit
Lambda-Kalkül
Algorithmen und Datenstrukturen
Semantik von Programmiersprachen
Programmiersprachen
Diskrete Mathematik
Datenbanken I
Techniken der Logikprogrammierung