Das Lehrbuch fhrt in wichtige Themen der Ordnungs- und Verbandstheorie ein und behandelt bedeutende Informatikanwendungen. Die Ordnungs- und Verbandstheorie wird zur algebraischen Theorie der Relationen, kurz Relationenalgebra, ausgebaut. Des Weiteren widmet sich das Buch Informatikanwendungen, hauptschlich der formalen Entwicklung von Algorithmen fr diskrete Probleme. Beispiele aus der Ordnungs- und Verbandstheorie schlagen den Bogen zurck zum ersten Teil des Buches.

Inhalt

Ordnungen und Verbnde - Spezielle Klassen von Verbnden - Fixpunkttheorie mit Anwendungen - Vervollstndigungen - Wohlgeordnete Mengen und das Auswahlaxiom - Einige Informatik-Anwendungen von Ordnungen und Verbnden - Relationenalgebra - Strukturerhaltende Funktionen - Relationenalgebraische Beschreibung von Datenstrukturen - Erreichbarkeit und Zusammenhang - Berechnung von Kernen - quivalenzklassen und kanonische Epimorphismen - Ordnungs- und verbandstheoretische Fragestellungen

Zielgruppe

Informatiker, Mathematiker und Studierende im Bachelor- oder Masterstudium ab dem zweiten Studienjahr

Autor

Prof. Dr. Rudolf Berghammer lehrt und forscht and der Universitt Kiel, Institut fr Informatik.