Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Deutsch
44,99 €
Versandkostenfrei per Post / DHL
Lieferzeit 2-4 Werktage
Kategorien:
Beschreibung
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.
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.
Über den 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.
Zusammenfassung
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.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: | 2014 |
---|---|
Genre: | Informatik, Mathematik, Medizin, Naturwissenschaften, Technik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Inhalt: |
x
238 S. 19 s/w Illustr. 238 S. 19 Abb. |
ISBN-13: | 9783658027100 |
ISBN-10: | 365802710X |
Sprache: | Deutsch |
Einband: | Kartoniert / Broschiert |
Autor: | Berghammer, Rudolf |
Hersteller: |
Springer Fachmedien Wiesbaden
Springer Fachmedien Wiesbaden GmbH |
Verantwortliche Person für die EU: | Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, D-65189 Wiesbaden, juergen.hartmann@springer.com |
Maße: | 240 x 168 x 14 mm |
Von/Mit: | Rudolf Berghammer |
Erscheinungsdatum: | 20.01.2014 |
Gewicht: | 0,423 kg |