Blick ins Buch

Ordnungen und Verbände

Grundlagen, Vorgehensweisen und Anwendungen

Rudolf Berghammer (Autor)

Buch | Softcover

X, 238 Seiten

2014 | 2013
Springer Fachmedien Wiesbaden GmbH (Verlag)
978-3-658-02710-0 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

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.

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.

Erscheint lt. Verlag	20.1.2014
Zusatzinfo	X, 238 S. 19 Abb.
Verlagsort	Wiesbaden
Sprache	deutsch
Maße	168 x 240 mm
Gewicht	422 g
Themenwelt	Mathematik / Informatik ► Informatik ► Datenbanken
	Informatik ► Theorie / Studium ► Algorithmen
	Informatik ► Weitere Themen ► Hardware
Schlagworte	Äquivalenzklassen • Auswahlaxiom • data structures • Fixpunkttheorie • Mathematik; Handbuch/Lehrbuch (Informatik) • Relationenalgebra • Transfinite Zahlen
ISBN-10	3-658-02710-X / 365802710X
ISBN-13	978-3-658-02710-0 / 9783658027100
Zustand	Neuware