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