Teoría de Dominios en Informática

Título original:

The Domain Theory in Computer Science

Contenido del libro:

Este libro cubre diferentes temas de la teoría de dominios en informática, incluyendo: órdenes parciales y grupos, dominios de potencia y métricas, tipos de datos recursivos (árboles binarios) y algebraicidad y álgebras booleanas.

La sección 1 se centra en órdenes parciales y grupos, describiendo caracterizaciones y propiedades de un nuevo orden parcial, órdenes parciales naturales sobre semigrupos de transformación con conjuntos fijos, grupos blandos cíclicos y sus aplicaciones sobre grupos, y factorización de grupos que involucran grupos simétricos y alternos. La sección 2 se centra en dominios de potencia y métricas, descripción de dominios FS+, topología de espacios GB-métricos, problemas de incoherencia en una combinación de lógicas de descripción y reglas, y métricas para subgrafos multi-conjuntos teóricos.

La sección 3 se centra en los tipos de datos recursivos (árboles binarios), describiendo el algoritmo de recorrido de recursión del árbol binario y su mejora, el diseño de los algoritmos de árbol de extensión mínima, la generación de listas de árboles mediante la fusión de la detección de árboles individuales y la imputación del vecino más próximo utilizando datos LIDAR aerotransportados, un enfoque recursivo de la horquilla de Kauffman y un novedoso árbol de decisión de divisiones multidireccionales para múltiples tipos de datos. La sección 4 se centra en la algebraicidad y las álgebras booleanas, describiendo la teoría de la deformación de las constantes de estructura para álgebras asociativas, el álgebra booleana y las álgebras centrales de Galois, la adición de conjuntos en el espacio booleano, así como el álgebra y la geometría de conjuntos en el espacio booleano, y una detección de trayectorias múltiples utilizando técnicas de satisfacibilidad booleana.