1653208279  

Ordnungen und Verbände : Grundlagen, Vorgehensweisen und Anwendungen / von Rudolf Berghammer

Deutsch

Wiesbaden : Springer Vieweg, 2013

Online-Ressource (X, 238 S. 19 Abb, online resource)

Druckausg.: Berghammer, Rudolf *1952-*: Ordnungen und Verbände. - Wiesbaden : Springer Vieweg, 2013. - X, 238 S.

978-3-658-02711-7

Weitere Ausgaben: 978-3-658-02710-0 (Druckausgabe)

DOI: 10.1007/978-3-658-02711-7

*Verbandstheorie / Ordnung

*Computer science ; Computer Science ; Data structures (Computer science) ; Arithmetic and logic units, Computer. ; Computer scienceMathematics.

Klassifikation der Library of Congress: QA76.9.M35

Dewey Dezimal-Klassifikation: 004.0151;

Regensburger Verbund-Klassifikation: ST 134: SQ-SU Informatik / ST Monografien / ST 120-ST 140 Grundlagen der Informatik / ST 130-ST 140 Theoretische Informatik / Algorithmen-, Komplexitätstheorie

Book Industry Communication: UYAM

bisacsh: MAT003000

Book Industry Communication: UYA

bisacsh: COM018000

Mathematics Subject Classification: *06-01

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. Inhalt Mathematische Grundlagen - Verbände und Ordnungen - Einige wichtige Verbandsklassen - Fixpunkttheorie mit Anwendungen - Vervollständigung und Darstellung mittels Vervollständigung - Wohlgeordnete Mengen und das Auswahlaxiom - Einige Informatik-Anwendungen von Ordnungen und Verbänden Zielgruppe Studierende der Informatik, Mathematik und Ingenieurwissenschaften im letzten Jahr des Bachelor-Studiums oder im Master-Studium Autor Rudolf Berghammer ist Professor für Informatik an der Universität Kiel und beschäftigt sich hauptsächlich mit der Anwendung von algebraischen und ordnungstheoretischen Methoden beim Algorithmen- und Programmentwurf und der Unterstützung durch entsprechende Werkzeuge

https://zbmath.org/?q=an:1285.06001 [Zentralblatt MATH]

Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.

https://doi.org/10.1007/978-3-658-02711-7 [E-books (Springer)]