La teoria del dominio in informatica

Titolo originale:

The Domain Theory in Computer Science

Contenuto del libro:

Questo libro tratta diversi argomenti della teoria dei domini in informatica, tra cui: ordini parziali e gruppi, domini di potenza e metriche, tipi di dati ricorsivi (alberi binari) e algebricità e algebre booleane.

La sezione 1 si concentra sugli ordini parziali e sui gruppi, descrivendo le caratterizzazioni e le proprietà di un nuovo ordine parziale, gli ordini parziali naturali sui semigruppi di trasformazione con insiemi fissi, i gruppi morbidi ciclici e le loro applicazioni sui gruppi, e la fattorizzazione dei gruppi che coinvolgono gruppi simmetrici e alternati. La sezione 2 si concentra sui domini di potenza e sulle metriche, descrivendo i domini FS+, la topologia degli spazi GB-metrici, i problemi di incoerenza in una combinazione di logiche di descrizione e regole e le metriche per i sottografi multiset-teorici.

La sezione 3 si concentra sui tipi di dati ricorsivi (alberi binari), descrivendo l'algoritmo di attraversamento ricorsivo dell'albero binario e il suo miglioramento, la progettazione degli algoritmi di minimum spanning tree, la generazione di liste di alberi fondendo il rilevamento di singoli alberi e l'imputazione dei vicini più prossimi utilizzando i dati LIDAR trasportati dall'aria, un approccio ricorsivo alla parentesi di Kauffman e un nuovo albero decisionale multiway splits per più tipi di dati. La sezione 4 si concentra sull'algebricità e sulle algebre booleane, descrivendo la teoria delle deformazioni delle costanti di struttura per le algebre associative, l'algebra booleana e le algebre centrali di Galois, l'addizione di insiemi nello spazio booleano, nonché l'algebra e la geometria degli insiemi nello spazio booleano, e un rilevamento di multipath utilizzando tecniche di soddisfabilità booleana.