|
|
|
|
| LEADER |
02551nmm a2200313 u 4500 |
| 001 |
EB000732089 |
| 003 |
EBX01000000000000000585168 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140203 ||| ger |
| 020 |
|
|
|a 9783658027117
|
| 100 |
1 |
|
|a Berghammer, Rudolf
|
| 245 |
0 |
0 |
|a Ordnungen und Verbände
|h Elektronische Ressource
|b Grundlagen, Vorgehensweisen und Anwendungen
|c von Rudolf Berghammer
|
| 250 |
|
|
|a 1st ed. 2013
|
| 260 |
|
|
|a Wiesbaden
|b Springer Fachmedien Wiesbaden
|c 2013, 2013
|
| 300 |
|
|
|a X, 238 S. 19 Abb
|b online resource
|
| 505 |
0 |
|
|a 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
|
| 653 |
|
|
|a Artificial intelligence / Data processing
|
| 653 |
|
|
|a Mathematics of Computing
|
| 653 |
|
|
|a Computer science / Mathematics
|
| 653 |
|
|
|a Computer arithmetic and logic units
|
| 653 |
|
|
|a Arithmetic and Logic Structures
|
| 653 |
|
|
|a Data Science
|
| 041 |
0 |
7 |
|a ger
|2 ISO 639-2
|
| 989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
| 028 |
5 |
0 |
|a 10.1007/978-3-658-02711-7
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-658-02711-7?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 004.0151
|
| 520 |
|
|
|a 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. 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 Zielgruppe Studierende der Informatik, Mathematik und Ingenieurwissenschaften im letzten Jahr des Bachelor-Studiums oder im Master-Studium 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
|