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 »