Teoria domen w informatyce

Oryginalny tytuł:

The Domain Theory in Computer Science

Zawartość książki:

Książka ta obejmuje różne tematy z teorii domen w informatyce, w tym: częściowe porządki i grupy, domeny mocy i metryki, rekurencyjne typy danych (drzewa binarne) oraz algebraiczność i algebry boolowskie.

Rozdział 1 koncentruje się na częściowych porządkach i grupach, opisując charakterystyki i właściwości nowego częściowego porządku, naturalne częściowe porządki na półgrupach transformacyjnych ze stałymi zbiorami, cykliczne miękkie grupy i ich zastosowania w grupach oraz faktoryzację grup obejmujących grupy symetryczne i przemienne. Sekcja 2 koncentruje się na domenach mocy i metrykach, opisywaniu domen FS+, topologii przestrzeni metrycznych GB, problemach niespójności w połączeniu logiki opisu i reguł oraz metrykach dla podgrafów teorii wielu zbiorów.

Sekcja 3 koncentruje się na rekurencyjnych typach danych (drzewach binarnych), opisując algorytm rekurencyjnego przechodzenia drzewa binarnego i jego ulepszenia, projektowanie algorytmów minimalnego drzewa rozpinającego, generowanie list drzew poprzez połączenie wykrywania pojedynczych drzew i imputacji najbliższego sąsiada przy użyciu lotniczych danych LIDAR, rekurencyjne podejście do nawiasu Kauffmana oraz nowatorskie wielokierunkowe drzewo decyzyjne dla wielu typów danych. Rozdział 4 koncentruje się na algebraiczności i algebrach Boole'a, opisując teorię deformacji stałych struktury dla algebr asocjacyjnych, algebry Boole'a i centralne algebry Galois, dodawanie zbiorów w przestrzeni Boole'a, a także algebrę i geometrię zbiorów w przestrzeni Boole'a oraz wykrywanie wielościeżkowości przy użyciu technik zadowalalności Boole'a.