Ordnungen und Verbände Grundlagen, Vorgehensweisen und Anwendungen
Description
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.
Keywords
ComputersData ScienceLogic DesignData Modeling & DesignMathematicsDiscrete MathematicsInformation TechnologyProgrammingAlgorithms
2014Book
Author(s)Rudolf Berghammer
PublisherSpringer Fachmedien Wiesbaden
ISBN9783658027100
LanguageGerman
