TUD Logo

TUD Home » ... » Teaching » Summer Term 2017 » Lecture "Binäre Entscheidungsgraphen"

Chair of Algebraic and Logical Foundations of Computer Science

Vorlesung „Binäre Entscheidungsgraphen“ (2/0/0)

Dr. Klüppelholz und Prof. Dr. Baier

Sprache: Deutsch

Beschreibung

Die Veranstaltung richtet sich an Studierende im Bachelor, Master- und Diplomstudiengang Informatik.

Binäre Entscheidungsgraphen (BDDs engl. für binary decision diagrams) wurden erstmals von Lee (1959) und Akers (1978) als Datenstruktur für Schaltfunktionen untersucht. In der Vorlesung beschäftigen uns hier nur mit geordneten BDDs (Abkürzung OBDDs), einer Variante, die auf Bryant (1986) zurückgeht und in der eine feste Ordnung der Variablen einer Schaltfunktionen vorausgesetzt wird. OBDDs haben sich u.a. für die Synthese und Analyse von kombinatorischen und sequentiellen Schaltkreisen sowie der Analyse komplexer Hardware-/Software Systeme bewährt und werden heute in zahlreichen Werkzeugen verwendet. In der Vorlesung werden die wesentlichen Aspekte von OBDDs und einigen Anwendungen behandelt.

Termine

Mi 2. DS [09:20 Uhr – 10:50 Uhr] ACHTUNG GEÄNDERTER RAUM: APB/E009

Die erste Vorlesung findet am Mittwoch, den 05.04.2017, statt.

Anrechenbare Module

Bachelor Informatik
INF-B-510: Vertiefung
INF-B-520: Vertiefung zur Bachelor-Arbeit
Master Informatik
INF-BAS6: Basismodul Theoretische Informatik (Ergänzungen)
INF-VERT6: Vertiefungsmodul Theoretische Informatik (Ergänzungen)
Diplom Informatik
INF-BAS6: Basismodul Theoretische Informatik (Ergänzungen)
INF-VERT6: Vertiefungsmodul Theoretische Informatik (Ergänzungen)
Diplom Informatik (DPO 2004)
INF-04-FG-TP: Fachgebiet Theorie der Programmierung
INF-04-FG-IS: Fachgebiet Intelligente Systeme

Mailingliste

Es wird empfohlen, sich für die Mailingliste der Vorlesung anzumelden.

Kontakt

Bei Fragen oder Problemen wenden Sie sich bitte an Dr. Klüppelholz.

Last modified: 31st Jul 2018, 9.37 AM
Author: Dr.-Ing. Sascha Klüppelholz