Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Ordnungen und Verbände

Grundlagen, Vorgehensweisen und Anwendungen
BuchKartoniert, Paperback
238 Seiten
Deutsch
Springererschienen am20.01.20142013
Das Lehrbuch stellt eine grundlegende Einführung in die mathematische Theorie der geordneten Mengen und Verbände dar. 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.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR44,99
E-BookPDF1 - PDF WatermarkE-Book
EUR20,67

Produkt

KlappentextDas Lehrbuch stellt eine grundlegende Einführung in die mathematische Theorie der geordneten Mengen und Verbände dar. 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.
Zusammenfassung
Das einzige Buch in deutscher Sprache zu diesem Thema

Wichtige Themen der Ordnungs- und Verbandstheorie

Bedeutende Informatikanwendungen

Includes supplementary material: sn.pub/extras
Details
ISBN/GTIN978-3-658-02710-0
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2014
Erscheinungsdatum20.01.2014
Auflage2013
Seiten238 Seiten
SpracheDeutsch
Gewicht422 g
IllustrationenX, 238 S. 19 Abb.
Artikel-Nr.31146300

Inhalt/Kritik

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.mehr

Schlagworte

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.