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.
购买此电子书可免费获赠一本!
语言 德语 ● 格式 PDF ● ISBN 9783658027117 ● 出版者 Springer Fachmedien Wiesbaden ● 发布时间 2014 ● 下载 3 时 ● 货币 EUR ● ID 6384442 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器