Ordnungen Und Verb?nde: Grundlagen, Vorgehensweisen Und Anwendungen

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.