Einleitung

Zusammenfassung

Viele Probleme in der diskreten Mathematik, der Informatik und dem rechnergestützten Entwurf hochintegrierter Schaltkreise lassen sich auf die Aufgabe zurückführen, Objekte über endlichen Grundmengen zu manipulieren. Die Abhängigkeiten und Beziehungen zwischen den Objekten werden mittels diskreter Funktionen beschrieben. Nach einer binären Codierung der Elemente der Grundmenge kann jedes endliche Problem dann vollständig mit Hilfe von Schaltfunktionen formuliert werden, also von Funktionen, die Bitvektoren auf einzelne Bits abbilden. Im Ergebnis kann die Manipulation über endlichen Bereichen auf die ausschließliche Bearbeitung von Schaltfunktionen zurückgeführt werden.