Ordnungen, Verbnde und Relationen mit Anwendungen [Paperback]

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.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 FragestellungenProf. Dr. Rudolf Berghammer lehrt und forscht and der Universit?t Kiel, Institut f?r Informatik.

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 kanolƒÐ