Proseminar „Binäre Entscheidungsgraphen“
Proseminar „Binäre Entscheidungsgraphen“
Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) im WS 2026
Das Thema des Proseminars sind Binäre Entscheidungsgraphen (engl. binary decision diagrams, kurz BDDs). Diese wurden erstmals von Lee und Akers zur Darstellung von Schaltfunktionen vorgestellt. Heutzutage werden verschiedene Varianten von ordered BDDs (OBDDs) in zahlreichen Verifikationswerkzeugen und Model Checkern wie z. B. nuSMV oder Prism als Datenstruktur zur effizienten Speicherung und Analyse von Systemmodellen eingesetzt.
Die individuell zu bearbeitenden Seminarthemen befassen sich mit den theoretischen Grundlagen binärer Entscheidungsgraphen. Insbesondere sollen die wichtigsten Operatoren und Algorithmen auf BDDs vorgestellt und hinsichtlich ihrer theoretischen Komplexität untersucht werden.
Anmeldung
Für die Teilnahme ist eine Registrierung via Opal bis zum 19. Oktober erforderlich.
Voraussetzungen
Neben dem Interesse an theoretischer Informatik setzt das Proseminar solide Kenntnisse in den Gebieten Algorithmen und Datenstrukturen sowie Mathematik im Umfang der ersten zwei Studiensemester voraus.
Termine
Alle fristgerecht in Opal eingeschriebenen Teilnehmer:innen werden per E-Mail über die Einführungsveranstaltung informiert. In dieser wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugeteilt. Das weitere Vorgehen wird individuell mit dem Betreuer besprochen.
Die Vorträge werden als Blockveranstaltung im Zeitraum Januar–März 2027 stattfinden. Termine werden später bekanntgegeben.
Die schriftliche Ausarbeitung ist bis zum 14. März 2027 einzureichen.
Prüfungsleistung
Bachelor Informatik (PO 2025)
- INF-25-Ba-WIA: Komplexe Leistung (60 Stunden)
Bachelor Angewandte Informatik (PO 2025)
- INF-25-Ba-WIA: Komplexe Leistung (60 Stunden)
Diplom Informatik (PO 2025)
- INF-25-Ba-WIA: Komplexe Leistung (60 Stunden)
Als Komplexe Leistung ist eine Präsentation in Form eines Kolloquiums sowie die Ausarbeitung einer Seminararbeit vorgesehen.
Kontakt
Bei organisatorischen Fragen wenden Sie sich bitte an Sascha Klüppelholz.
