Ordnungen, Verbnde und Relationen mit Anwendungen

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