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