Skip to main content
SpringerLink
Log in

Ordnungen und Verbände

Grundlagen, Vorgehensweisen und Anwendungen

  • Textbook
  • © 2013

Overview

Authors:
  1. Rudolf Berghammer

    1. Institut für Informatik, Universität Kiel, Kiel, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Das einzige Buch in deutscher Sprache zu diesem Thema
  • Wichtige Themen der Ordnungs- und Verbandstheorie
  • Bedeutende Informatikanwendungen
  • Includes supplementary material: sn.pub/extras

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Mathematische Grundlagen

    • Rudolf Berghammer
    Pages 1-7

  3. Verbände und Ordnungen

    • Rudolf Berghammer
    Pages 9-35

  4. Einige wichtige Verbandsklassen

    • Rudolf Berghammer
    Pages 37-75

  5. Fixpunkttheorie mit Anwendungen

    • Rudolf Berghammer
    Pages 77-109

  6. Vervollständigung und Darstellung mittels Vervollständigung

    • Rudolf Berghammer
    Pages 111-147

  7. Wohlgeordnete Mengen und das Auswahlaxiom

    • Rudolf Berghammer
    Pages 149-189

  8. Einige Informatik-Anwendungen von Ordnungen und Verbänden

    • Rudolf Berghammer
    Pages 191-233

  9. Back Matter

    Pages 235-238
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • Institut für Informatik, Universität Kiel, Kiel, Germany

    Rudolf Berghammer

About the author

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.

Bibliographic Information

  • Book Title: Ordnungen und Verbände

  • Book Subtitle: Grundlagen, Vorgehensweisen und Anwendungen

  • Authors: Rudolf Berghammer

  • DOI: https://doi.org/10.1007/978-3-658-02711-7

  • Publisher: Springer Vieweg Wiesbaden

  • eBook Packages: Computer Science and Engineering (German Language)

  • Copyright Information: Springer Fachmedien Wiesbaden 2013

  • Softcover ISBN: 978-3-658-02710-0Published: 20 January 2014

  • eBook ISBN: 978-3-658-02711-7Published: 06 January 2014

  • Edition Number: 1

  • Number of Pages: X, 238

  • Number of Illustrations: 19 b/w illustrations

  • Topics: Mathematics of Computing, Arithmetic and Logic Structures, Data Structures

Publish with us

Policies and ethics

Back to top

Search

Navigation