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.
Author(s): Rudolf Berghammer (auth.)
Edition: 2
Publisher: Vieweg+Teubner Verlag
Year: 2012
Language: German
Pages: 392
Tags: Mathematics of Computing; Theory of Computation
Front Matter....Pages i-xiv
Ordnungen und Verbände....Pages 1-26
Spezielle Klassen von Verbänden....Pages 27-64
Fixpunkttheorie mit Anwendungen....Pages 65-94
Vervollständigung und Darstellung mittels Vervollständigung....Pages 95-128
Wohlgeordnete Mengen und das Auswahlaxiom....Pages 129-164
Einige Informatik-Anwendungen von Ordnungen und Verbänden....Pages 165-198
Relationenalgebraische Grundlagen....Pages 199-230
Strukturerhaltende Funktionen....Pages 231-246
Relationenalgebraische Beschreibung von Datenstrukturen....Pages 247-280
Erreichbarkeits- und Zusammenhangsfragen....Pages 281-314
Berechnung von Kernen....Pages 315-332
Äquivalenzklassen und kanonische Epimorphismen....Pages 333-348
Ordnungs- und verbandstheoretische Fragestellungen....Pages 349-388
Back Matter....Pages 389-392