Publisher's Synopsis
Bernd Steinbach / Christian Posthoff Theoretische Grundlagen: Mengen. Metrische Eigenschaften.Binäre Funktionen. Rechenregeln und Algebraische Strukturen.Normalformen. Subfunktionen und Entscheidungsbäume. Ternärvektoren.Aufgaben.Logische Gleichungen: Begriff und Lösungsmethoden.Elementare homogene Gleichungen. Mengenoperationen. Ungleichungen.Gleichungssysteme. Das SAT-Problem. Aufgaben.Anwendungen in der Digitaltechnik: Arithmetik. Digitale Schaltungen.Höhere Programmiersprachen. Aufgaben.Lösungen der Aufgaben.Literatur.Stichwortverzeichnis.Dieses Buch ist zur Vorbereitung auf Klausuren und Prüfungen geeignet.
