Dieses Lehrbuch wendet sich an Studierende im Grundstudium der Elektrotechnik oder der Informatik, die sich mit den Grundlagen der Technischen Informatik beschäftigen. Wesentliche Themengebiete sind die Aussagenlogik, die Prädikatenlogik und die Boolesche Algebra sowie die Analyse und Synthese von Schaltnetzen und Schaltwerken und die zur Spezifikation von Schaltwerken notwendigen Automatenmodelle. Aufgrund der sehr ausführlichen Präsentation einer begrenzten Thematik mit vielen Aufgabenbeispielen ist das Buch insbesondere auch zum Selbststudium geeignet. Dabei beschränkt sich die Darstellung bei der Behandlung digitaler Schaltungen ausschließlich auf die logische Ebene, so dass zum Studium weder elektrotechnische noch mathematische Grundlagen vorausgesetzt sind.