100 Übungsaufgaben zu Grundlagen der Informatik, Bd. II - Kap. 3: Binary Decision Diagram (BDD)
Author
Participating institute
Genre
Description
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.
Duration (hh:mm:ss)
00:19:13
Series
100 Übungsaufgaben zu Grundlagen der Informatik : Band I: Theoretische Informatik
Published on
24.10.2013
Subject area
License
| Resolution | 1024 x 768 Pixel |
| Aspect ratio | 4:3 |
| Audio bitrate | 31995 bps |
| Audio channels | 1 |
| Audio Codec | aac |
| Audio Sample Rate | 22050 Hz |
| Total Bitrate | 95170 bps |
| Color Space | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Media Type | video/mp4 |
| Duration | 1153 s |
| Filename | 2013-727_cam.mp4 |
| File Size | 4.096 byte |
| Frame Rate | 25 |
| Video Bitrate | 58032 bps |
| Video Codec | h264 |
| Resolution | 1024 x 768 Pixel |
| Aspect ratio | 4:3 |
| Audio bitrate | 32000 bps |
| Audio channels | 1 |
| Audio Codec | mp3 |
| Audio Sample Rate | 22050 Hz |
| Total Bitrate | 748120 bps |
| Color Space | bgr24 |
| Container | avi |
| Media Type | video/x-msvideo |
| Duration | 1153 s |
| Filename | 2013-727_download.avi |
| File Size | 4.096 byte |
| Frame Rate | 25 |
| Video Codec | camtasia |
Media URL
Embed Code
