书目名称 | Ordnungen und Verbände | 副标题 | Grundlagen, Vorgehen | 编辑 | Rudolf Berghammer | 视频video | | 概述 | Das einzige Buch in deutscher Sprache zu diesem Thema.Wichtige Themen der Ordnungs- und Verbandstheorie.Bedeutende Informatikanwendungen.Includes supplementary material: | 图书封面 |  | 描述 | .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.. | 出版日期 | Textbook 2013 | 关键词 | Auswahlaxiom; Fixpunkttheorie; Relationenalgebra; Transfinite Zahlen; Äquivalenzklassen; data structures | 版次 | 1 | doi | https://doi.org/10.1007/978-3-658-02711-7 | isbn_softcover | 978-3-658-02710-0 | isbn_ebook | 978-3-658-02711-7 | copyright | Springer Fachmedien Wiesbaden 2013 |
The information of publication is updating
|
|