Ordnungen und Verbnde: Grundlagen, Vorgehensweisen und Anwendungen [Paperback]

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.

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?ndenRudolf 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.

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

Aló´