Beschreibung: Binäre Entscheidungsgraphen (engl. Abkürzung BDDs) sind eine Datenstruktur für Schaltfunktionen, die zunächst für den Entwurf und die Analyse von Hardwaresystemen entwickelt wurden, heutzutage jedoch auch in vielen anderen Anwendungsbereichen der Informatik eingesetzt werden. So existieren beispielsweise u.a. wichtige Anwendungen im Bereich des Model Checkings.
Studierende unserer Vorlesungen haben ein leistungsfähiges Toolkit entwickelt, welches in der Lage ist, verschiedene Varianten binärer Entscheidungsgraphen zu erzeugen, darzustellen und zu optimieren. Es werden nun Studierende mit Interesse an einem Praktikum gesucht, die das bestehende Paket unter ausführlicher Anleitung um Funktionalitäten erweitern möchten.
Voraussetzungen:
Studierende im Hauptstudium können dieses Praktikum ohne
weitere Voraussetzungen absolvieren.
Wuenschenswert sind Vorkenntnisse zu BDDs,
so wie sie in der Vorlesung vermittelt werden, aber sie sind nicht notwendig.
Kenntnisse der
Programmiersprache 
sind vorteilhaft.
Bereich: A (alte und neue DPO).
Termin: nach individueller Vereinbarung
Anzahl der Plätze: 8
Vorbesprechung:
Es findet keine zentrale Vorbesprechung statt. Bitte melden Sie sich
bis zum 08.10.2004 bei Jörn Ossowski (EMail: 
ossowsk@cs.uni-bonn.de
oder Raum N314) an.