A tartományelmélet az informatikában

Eredeti címe:

The Domain Theory in Computer Science

Könyv tartalma:

Ez a könyv a számítástechnika tartományelméletének különböző témáit tárgyalja, többek között: parciális rendek és csoportok, hatalmi tartományok és metrikák, rekurzív adattípusok (bináris fák), algebraiság és Boole-algebrák. Az 1.

rész a parciális rendekkel és csoportokkal foglalkozik, leírva egy új parciális rend jellemzését és tulajdonságait, természetes parciális rendeket transzformációs félcsoportokon rögzített halmazokkal, ciklikus lágy csoportokat és azok alkalmazásait csoportokra, valamint csoportok faktorizálását szimmetrikus és váltakozó csoportokkal. A 2. szakasz a hatalmi tartományokra és metrikákra összpontosít, leírva FS+ tartományokat, GB-metrikus terek topológiáját, inkoherenciaproblémákat a leírási logikák és szabályok kombinációjában, valamint metrikákat többhalmazelméleti részgráfokhoz.

A 3. szakasz a rekurzív adattípusokra (bináris fák) összpontosít, ismertetve a bináris fa rekurzív traverzációs algoritmusát és annak javítását, a minimális átfutófa algoritmusok tervezését, fa-listák generálását az egyedi fák felismerésének és a legközelebbi szomszédok imputálásának egyesítésével légi LIDAR adatok felhasználásával, a Kauffman-tartozék rekurzív megközelítését, valamint egy újszerű többirányú osztott döntési fát többféle adattípusra.

A 4. szakasz az algebraisággal és a Boole-algebrákkal foglalkozik, ismertetve az asszociatív algebrák struktúraállandóinak deformációelméletét, a Boole-algebrát és a központi Galois-algebrákat, a halmazok összeadását a Boole-térben, valamint a Boole-térben lévő halmazok algebráját és geometriáját, továbbá a Boole-féle kielégíthetőségi technikák segítségével történő többutas detektálást.