Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Das Lehrbuch stellt eine grundlegende Einführung in die mathematische Theorie der geordneten Mengen und Verbände dar. Auch werden eine Reihe von Anwendungen diskutiert, insbesondere aus der Informatik, wie logische Schaltungen, Semantik von Programmiersprachen und die Untersuchung von Kausalität in verteilten Systemen.
Rudolf Berghammer ist Professor für Informatik an der Universität Kiel und beschäftigt sich hauptsächlich mit der Anwendung von algebraischen und ordnungstheoretischen Methoden beim Algorithmen- und Programmentwurf und der Unterstützung durch entsprechende Werkzeuge.
Mathematische Grundlagen.- Verbände und Ordnungen.- Einige wichtige Verbandsklassen.- Fixpunkttheorie mit Anwendungen.- Vervollständigung und Darstellung mittels Vervollständigung.- Wohlgeordnete Mengen und das Auswahlaxiom.- Einige Informatik-Anwendungen von Ordnungen und Verbänden.