Das Lehrbuch stellt eine grundlegende Einfhrung in die mathematische Theorie der geordneten Mengen und Verbnde dar. Neben wichtigen Begriffen werden allgemeine Vorgehensweisen und Beweistechniken demonstriert, die fr dieses Gebiet typisch sind. 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.

Inhalt

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

Zielgruppe

Studierende der Informatik, Mathematik und Ingenieurwissenschaften im letzten Jahr des Bachelor-Studiums oder im Master-Studium

Autor

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.

Das Lehrbuch stellt eine grundlegende Einfhrung in die mathematische Theorie der geordneten Mengen und Verbnde dar. Neben wichtigen Begriffen werden allgemeine Vorgehensweisen und Beweistechniken demonstriert, die fr dieses Gebiet typisch sind. 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.