Praktikum (Hauptstudium)
Praktikum Binäre Entscheidungsgraphen
Prof. Dr. Christel Baier
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.
| Vorbesprechung | Es findet am 11.10.2004 eine Vorbesprechung statt. Bitte melden Sie sich bis zum 8.10.2004 per email bei Jörn Ossowski (EMail:< ossowsk@cs.uni-bonn.de> oder Raum N314) an. |
| Teilnehmerzahl | 8 |
| Voraussetzungen | Studierende im Hauptstudium können dieses Praktikum ohne weitere Voraussetzungen absolvieren. (Der Vorbesprechungstermin dient gleichzeitig als Einführung in die Thematik der BDDs.) Wuenschenswert sind Vorkenntnisse zu BDDsm so wie sie in der Vorlesung vermittelt werden, aber sie sind nicht notwendig. Kenntnisse der Programmiersprache C++ sind ebenfalls vorteilhaft für die Teilnehmerinnen und Teilnehmer. |
|
Übersicht: alle Semester
Praktikum Java Animation
Praktikum Computeranimation