Proseminar „Binäre Entscheidungsgraphen“: Unterschied zwischen den Versionen
Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesungsreihe |Title=Proseminar „Binäre Entscheidungsgraphen“ |Description=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 Ve…“) |
Johannes Lehmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Vorlesungsreihe | {{Vorlesungsreihe | ||
|Title=Proseminar „Binäre Entscheidungsgraphen“ | |Title=Proseminar „Binäre Entscheidungsgraphen“ | ||
|Description=Das Proseminar richtet sich an Studierende der Studiengänge Bachelor und Diplom Informatik. Das Thema des Proseminars sind | |Description=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. | 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. | ||
}} | }} | ||
Aktuelle Version vom 26. Februar 2025, 14:16 Uhr
Proseminar „Binäre Entscheidungsgraphen“
Vorlesungsreihe
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.
