Ordnungen, Verbände und Relationen mit Anwendungen

Das Lehrbuch fuhrt 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, hauptsachlich der formalen Entwicklung von Algorithmen fur diskrete Probleme. Beispiele aus der Ordnungs- und Verbandstheorie schlagen den Bogen zuruck zum ersten Teil des Buches.

Inhalt

Ordnungen und Verbande - Spezielle Klassen von Verbanden - Fixpunkttheorie mit Anwendungen- Vervollstandigungen - Wohlgeordnete Mengen und das Auswahlaxiom - Einige Informatik-Anwendungen von Ordnungen und Verbanden - Relationenalgebra - Strukturerhaltende Funktionen - Relationenalgebraische Beschreibung von Datenstrukturen - Erreichbarkeit und Zusammenhang - Berechnung von Kernen - Aquivalenzklassen 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 Universitat Kiel, Institut fur Informatik.