Teória domén v informatike

Pôvodný názov:

The Domain Theory in Computer Science

Obsah knihy:

Táto kniha sa zaoberá rôznymi témami z teórie domén v informatike, vrátane: parciálnych rádov a skupín, mocninových domén a metrík, rekurzívnych dátových typov (binárnych stromov) a algebraicity a boolovských algebier.

Prvá časť sa zameriava na parciálne rády a grupy, opisuje charakterizácie a vlastnosti nového parciálneho rádu, prirodzené parciálne rády na transformačných pologrupách s pevnými množinami, cyklické mäkké grupy a ich aplikácie na grupy a faktorizáciu grup zahŕňajúcu symetrické a alternujúce grupy. Časť 2 sa zameriava na mocninové domény a metriky, pričom opisuje FS+ domény, topológiu GB-metrických priestorov, problémy inkoherencie v kombinácii logiky popisu a pravidiel a metriky pre multiset-teoretické subgrafy.

Časť 3 sa zameriava na rekurzívne typy údajov (binárne stromy), opisuje algoritmus rekurzívneho prechádzania binárneho stromu a jeho vylepšenie, návrh algoritmov minimálneho rozpätia stromov, generovanie zoznamov stromov zlúčením detekcie jednotlivých stromov a imputácie najbližšieho suseda pomocou údajov leteckého LIDAR-u, rekurzívny prístup ku Kauffmanovej zátvorke a nový rozhodovací strom s viacerými rozdeleniami pre viaceré typy údajov. Časť 4 sa zameriava na algebraickosť a boolovské algebry, opisuje teóriu deformácie konštánt štruktúry pre asociatívne algebry, boolovskú algebru a centrálne Galoisove algebry, sčítanie množín v boolovskom priestore, ako aj algebru a geometriu množín v boolovskom priestore a detekciu viacnásobných ciest pomocou techník boolovskej splniteľnosti.