Titlul original:
The Domain Theory in Computer Science
Conținutul cărții:
Această carte acoperă diferite subiecte din teoria domeniilor în informatică, inclusiv: ordine parțiale și grupuri, domenii de putere și metrici, tipuri de date recursive (arbori binari) și algebraicitate și algebre booleene.
Secțiunea 1 se concentrează pe ordine parțiale și grupuri, descriind caracterizările și proprietățile unui nou ordin parțial, ordine parțiale naturale pe semigrupuri de transformare cu seturi fixe, grupuri moi ciclice și aplicațiile lor pe grupuri și factorizarea grupurilor care implică grupuri simetrice și alternante. Secțiunea 2 se concentrează pe domeniile și metricile puterii, descrierea domeniilor FS+, topologia spațiilor GB-metrice, problemele de incoerență într-o combinație de logici și reguli de descriere și metricile pentru subgrafii multiset-teoretice.
Secțiunea 3 se concentrează asupra tipurilor de date recursive (arbori binari), descriind algoritmul de traversare a recursiunii arborelui binar și îmbunătățirea acestuia, proiectarea algoritmilor arborelui minim de acoperire, generarea listelor de arbori prin fuzionarea detecției individuale a arborilor și imputarea celui mai apropiat vecin utilizând date LIDAR aeropurtate, o abordare recursivă a parantezei Kauffman și un nou arbore de decizie cu divizări pe mai multe căi pentru mai multe tipuri de date. Secțiunea 4 se concentrează pe algebraicitate și algebrele booleene, descriind teoria deformării constantelor de structură pentru algebrele asociative, algebra booleană și algebrele Galois centrale, adăugarea de seturi în spațiul boolean, precum și algebra și geometria seturilor în spațiul boolean și o detectare multipath folosind tehnici de satisfiabilitate booleană.
