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 bps |
| 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 bps |
| 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 bps |
| 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
