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.

Eine fundierte und anwendungsorientierte Einführung

Autorentext

Prof. Dr. Rudolf Berghammer, Universität Kiel, Institut für Informatik

Inhalt
Ordnungen und Verbände.- Spezielle Klassen von Verbänden.- Fixpunkttheorie.- Vervollständigung und Darstellung mittels Vervollständigung.- Transfinite Zahlen und das Auswahlaxiom.- Einige Informatik- Anwendungen von Ordnungen und Verbänden.- Relationenalgebraische Grundlagen.- Strukturerhaltende Funktionen.- Relationenalgebraische Beschreibung von Datenstrukturen.- Erreichbarkeits- und Zusammenhangsfragen.- Berechnung von Kernen.- Äquivalenzklassen und kanonische Epimorphismen.- Ordnungs- und verbandstheoretische Fragestellungen.