Birgit Elbl - Lehre / Teaching

Kürzlich und aktuell gehaltene Kurse / Recent and current courses

Mathematik / Mathematics:

Mathematische Strukturen
 
Formale Sprachen und Automaten / Formal Languages and Automata:
Formale Sprachen und Automatentheorie
 
Logik / Logic:
Logikprogrammierung
Ausgewählte Kapitel der Logik in der Informatik
Mathematische Logik
 
Formale Methoden / Formal Methods:
Formale Entwicklung korrekter Software: Spezifikation
Praktikum "Korrekte Software" (gemeinsam mit apl. Prof. L. Schmitz)