書目名稱 | Ordnungen und Verb?nde |
副標題 | Grundlagen, Vorgehen |
編輯 | Rudolf Berghammer |
視頻video | http://file.papertrans.cn/704/703715/703715.mp4 |
概述 | 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 |
關(guān)鍵詞 | 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 |