Ordnungen, Verbände und Relationen mit Anwendungen

Der erste Teil des Buches gibt eine Einführung in wichtige Themen der Ordnungs- und Verbandstheorie. Darauf aufbauend werden einige wichtige Informatikanwendungen behandelt. Nach diesen wird die Ordnungs- und Verbandstheorie zur algebraischen Theorie der Relationen, kurz Relationenalgebra, ausgebaut. Der Rest des Buches ist dann wiederum Informatikanwendungen gewidmet, hauptsächlich der formalen Entwicklung von Algorithmen für diskrete Probleme. Deren letzte Beispiele sind aus der Ordnungs- und Verbandstheorie, wodurch der Bogen wieder zum ersten Teil des Buches zurückgeschlagen wird.