Proseminar „Binäre Entscheidungs­graphen“

Dr. Sascha Klüppelholz
SWS: (0/2/0), auf Deutsch

Inhalt

Das Proseminar richtet sich an Studierende der Studiengänge Bachelor und Diplom Informatik. 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.

Registrierung

Die Teilnahme setzt eine Anmeldung in OPAL bis zum 21.10.2024 voraus.

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.

Ablauf

Alle fristgerecht eingeschriebenen Teilnehmer:innen werden per E-Mail über die Einführungsveranstaltung informiert. In dieser wird allen Teilnehmer:innen je ein Thema zugeteilt.

Die Vorträge werden als Blockveranstaltung im Zeitraum Januar–März 2025 stattfinden. Termine werden später bekanntgegeben.

Die schriftliche Ausarbeitung ist bis zum 15. März 2025 einzureichen.

Prüfungsleistung und anrechenbare Module

Bachelor Informatik

• INF-B-510: Vertiefung in der Informatik (5–10 Seiten Seminararbeit inklusive 30 Minuten Präsentation)
• INF-B-520: Spezialisierung in der Informatik (5–10 Seiten Seminararbeit inklusive 30 Minuten Präsentation)
• INF-B-610: Überfachliche Qualifikationen zur Informatik (5–10 Seiten Seminararbeit inklusive 30 Minuten Präsentation)

Bachelor Medieninformatik

• INF-B-610: Überfachliche Qualifikationen zur Informatik (5–10 Seiten Seminararbeit inklusive 30 Minuten Präsentation)

Diplom Informatik

• INF-D-520: Allgemeine Basisqualifikationen zur Informatik (5–10 Seiten Seminararbeit inklusive 30 Minuten Präsentation)

Kontakt