Logo
Unionpedia
Kommunikation
Jetzt bei Google Play
Neu! Laden Sie Unionpedia auf Ihrem Android™-Gerät herunter!
Frei
Schneller Zugriff als Browser!
 

Binäres Entscheidungsdiagramm

Index Binäres Entscheidungsdiagramm

Ein binäres Entscheidungsdiagramm (BED; engl. binary decision diagram, BDD) ist eine Datenstruktur zur Repräsentation Boolescher Funktionen.

14 Beziehungen: Bernd Becker (Informatiker), Boolesche Funktion, Datenstruktur, Donald E. Knuth, Graph (Graphentheorie), Implementierung, Ingo Wegener, Laufzeit (Informatik), Multiplikation, Programmablaufplan, Randal Bryant, Rolf Drechsler, Shannon-Zerlegung, Verifizierung.

Bernd Becker (Informatiker)

Bernd Becker (* 1954 in Hermeskeil) ist ein deutscher Informatiker und Hochschullehrer.

Neu!!: Binäres Entscheidungsdiagramm und Bernd Becker (Informatiker) · Mehr sehen »

Boolesche Funktion

Eine Boolesche Funktion (auch logische Funktion) ist eine mathematische Funktion der Form F\colon B^n \to B^1 (teilweise auch allgemeiner F\colon B^n \to B^m).

Neu!!: Binäres Entscheidungsdiagramm und Boolesche Funktion · Mehr sehen »

Datenstruktur

thumb In der Informatik und Softwaretechnik ist eine Datenstruktur ein Objekt, welches zur Speicherung und Organisation von Daten dient.

Neu!!: Binäres Entscheidungsdiagramm und Datenstruktur · Mehr sehen »

Donald E. Knuth

Donald Knuth (2005) Donald Ervin „Don“ Knuth (* 10. Januar 1938 in Milwaukee, Wisconsin) ist ein US-amerikanischer Informatiker.

Neu!!: Binäres Entscheidungsdiagramm und Donald E. Knuth · Mehr sehen »

Graph (Graphentheorie)

Ein Graph ist in der Graphentheorie eine abstrakte Struktur, die eine Menge von Objekten zusammen mit den zwischen diesen Objekten bestehenden Verbindungen repräsentiert.

Neu!!: Binäres Entscheidungsdiagramm und Graph (Graphentheorie) · Mehr sehen »

Implementierung

Eine Implementierung – auch Implementation (über ‚Ausführung‘, ‚Durchführung‘; von spätlateinisch implementum ‚Gerät‘ zu ‚anfüllen‘, ‚erfüllen‘) genannt – ist das Implementieren oder das Implementiertwerden, also die Realisierung oder Umsetzung von festgelegten Strukturen und Prozessabläufen in einem System unter Berücksichtigung von Rahmenbedingungen, Regeln und Zielvorgaben, im Sinne einer Spezifikation.

Neu!!: Binäres Entscheidungsdiagramm und Implementierung · Mehr sehen »

Ingo Wegener

Ingo Wegener (vollständiger Name Ingo Werner Wegener; * 4. Dezember 1950 in Bremen; † 27. November 2008 in Bielefeld) war ein deutscher Informatiker, der auf dem Gebiet der theoretischen Informatik arbeitete.

Neu!!: Binäres Entscheidungsdiagramm und Ingo Wegener · Mehr sehen »

Laufzeit (Informatik)

Der Begriff Laufzeit beschreibt in der Informatik einerseits die Zeitdauer, die ein Programm, ausgeführt durch einen Rechner, zur Bewältigung einer Aufgabe benötigt.

Neu!!: Binäres Entscheidungsdiagramm und Laufzeit (Informatik) · Mehr sehen »

Multiplikation

Beispiel einer Multiplikation: 3\cdot4.

Neu!!: Binäres Entscheidungsdiagramm und Multiplikation · Mehr sehen »

Programmablaufplan

Ein Programmablaufplan (PAP) ist ein Ablaufdiagramm für ein Computerprogramm, das auch als Flussdiagramm (engl. flowchart) oder Programmstrukturplan bezeichnet wird.

Neu!!: Binäres Entscheidungsdiagramm und Programmablaufplan · Mehr sehen »

Randal Bryant

Randal Bryant (2006) Randal E. Bryant (* 27. Oktober 1952) ist ein US-amerikanischer Informatiker.

Neu!!: Binäres Entscheidungsdiagramm und Randal Bryant · Mehr sehen »

Rolf Drechsler

Rolf Drechsler (* 30. Juli 1969 in Rüsselsheim) ist ein deutscher Informatiker und Professor für Rechnerarchitektur an der Universität Bremen.

Neu!!: Binäres Entscheidungsdiagramm und Rolf Drechsler · Mehr sehen »

Shannon-Zerlegung

Die Shannon-Zerlegung oder Shannon-Expansion (benannt nach Claude Elwood Shannon) stellt eine Möglichkeit dar, boolesche Funktionen mithilfe ihrer sogenannten Kofaktoren darzustellen.

Neu!!: Binäres Entscheidungsdiagramm und Shannon-Zerlegung · Mehr sehen »

Verifizierung

Verifizierung oder Verifikation (von und facere ‚machen‘) ist der Nachweis, dass ein vermuteter oder behaupteter Sachverhalt wahr ist.

Neu!!: Binäres Entscheidungsdiagramm und Verifizierung · Mehr sehen »

Leitet hier um:

Binary Decision Diagram, OBDD, ROBDD.

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »