
100 Übungsaufgaben zu Grundlagen der Informatik, Bd. II - Kap. 3: Binary Decision Diagram (BDD)
Autor
Beteiligtes Institut
Genre
Beschreibung
Der vorliegende Vorlesungszuschnitt beschäftigt sich mit dem Binary Decision Diagram (BDD), das neben Wahrheitstabellen und Booleschen Ausdrücken eine weitere Möglichkeit ist, Boolesche Funktionen darzustellen. BDDs haben im Gegensatz zu anderen Darstellungsformen den Vorteil, dass sie eine platzsparende Darstellung liefern können, die zeiteffizient für gegebene Belegungen der Variablen ausgewertet werden kann. BDDs sind dadurch eine wesentliche Datenstruktur heutiger CAD-Werkzeuge. Anhand des Entwicklungssatzes für Boolesche Funktionen wird ein Verfahren entwickelt, welches ein BDD erzeugt.
Laufzeit (hh:mm:ss)
00:19:13
Serie
100 Übungsaufgaben zu Grundlagen der Informatik : Band I: Theoretische Informatik
Publiziert am
24.10.2013
Fachgebiet
Lizenz
Auflösung | 1024 x 768 Pixel |
Seitenverhältnis | 4:3 |
Audiobitrate | 31995 bps |
Audio Kanäle | 1 |
Audio Codec | aac |
Audio Abtastrate | 22050 Hz |
Gesamtbitrate | 95170 kbps |
Farbraum | yuv420p |
Container | mov,mp4,m4a,3gp,3g2,mj2 |
Medientyp | video/mp4 |
Dauer | 1153 s |
Dateiname | 2013-727_cam.mp4 |
Dateigröße | 4.096 byte |
Bildwiederholfrequenz | 25 |
Videobitrate | 58032 kbps |
Video Codec | h264 |
Auflösung | 1024 x 768 Pixel |
Seitenverhältnis | 4:3 |
Audiobitrate | 32000 bps |
Audio Kanäle | 1 |
Audio Codec | mp3 |
Audio Abtastrate | 22050 Hz |
Gesamtbitrate | 748120 kbps |
Farbraum | bgr24 |
Container | avi |
Medientyp | video/x-msvideo |
Dauer | 1153 s |
Dateiname | 2013-727_download.avi |
Dateigröße | 4.096 byte |
Bildwiederholfrequenz | 25 |
Video Codec | camtasia |
Mediathek-URL
Embed-Code