Die Domänentheorie in der Informatik

Originaltitel:

The Domain Theory in Computer Science

Inhalt des Buches:

Dieses Buch behandelt verschiedene Themen aus der Domänentheorie der Informatik, darunter: partielle Ordnungen und Gruppen, Potenzdomänen und Metriken, rekursive Datentypen (binäre Bäume) sowie Algebraizität und Boolesche Algebren.

Abschnitt 1 konzentriert sich auf partielle Ordnungen und Gruppen und beschreibt Charakterisierungen und Eigenschaften einer neuen partiellen Ordnung, natürliche partielle Ordnungen auf Transformationshalbgruppen mit festen Mengen, zyklische weiche Gruppen und ihre Anwendungen auf Gruppen und Faktorisierung von Gruppen mit symmetrischen und alternierenden Gruppen. Abschnitt 2 befasst sich mit Potenzdomänen und Metriken, der Beschreibung von FS+-Domänen, der Topologie von GB-metrischen Räumen, Inkohärenzproblemen in einer Kombination von Beschreibungslogiken und Regeln sowie Metriken für multiset-theoretische Untergraphen.

Abschnitt 3 befasst sich mit rekursiven Datentypen (Binärbäumen) und beschreibt den Rekursionsalgorithmus für Binärbäume und seine Verbesserung, den Entwurf von Algorithmen für minimale Spanning-Trees, die Erstellung von Baumlisten durch Verschmelzung der Erkennung einzelner Bäume und der Imputation nächster Nachbarn unter Verwendung von LIDAR-Daten aus der Luft, einen rekursiven Ansatz für die Kauffman-Klammer und einen neuartigen Entscheidungsbaum für mehrere Datentypen. Abschnitt 4 befasst sich mit Algebraizität und Booleschen Algebren und beschreibt die Deformationstheorie von Strukturkonstanten für assoziative Algebren, die Boolesche Algebra und zentrale Galois-Algebren, die Addition von Mengen im Booleschen Raum sowie Algebra und Geometrie von Mengen im Booleschen Raum und eine Mehrwegerkennung unter Verwendung von Booleschen Erfüllbarkeitsverfahren.