Einband:
Kartonierter Einband
Untertitel:
Grundlagen, Vorgehensweisen und Anwendungen
Herausgeber:
Springer Fachmedien Wiesbaden
Erscheinungsdatum:
20.01.2014
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.
Autorentext
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.
Klappentext
pDas 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./p
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.
Leider konnten wir für diesen Artikel keine Preise ermitteln ...
billigbuch.ch sucht jetzt für Sie die besten Angebote ...
Die aktuellen Verkaufspreise von
5 Onlineshops werden
in Realtime abgefragt.
Sie können das gewünschte Produkt anschliessend direkt beim Anbieter Ihrer Wahl bestellen.
# |
Onlineshop |
Preis CHF |
Versand CHF |
Total CHF |
|
|
1 |
Seller |
0.00 |
0.00
|
0.00 |
|
|
Onlineshops ohne Resultate: