Titre original :
The Domain Theory in Computer Science
Contenu du livre :
Ce livre couvre différents sujets de la théorie des domaines en informatique, notamment : les ordres partiels et les groupes, les domaines de puissance et les métriques, les types de données récursifs (arbres binaires) et l'algébricité et les algèbres booléennes.
La section 1 se concentre sur les ordres partiels et les groupes, décrivant les caractérisations et les propriétés d'un nouvel ordre partiel, les ordres partiels naturels sur les semigroupes de transformation avec des ensembles fixes, les groupes doux cycliques et leurs applications sur les groupes, et la factorisation des groupes impliquant des groupes symétriques et alternatifs. La section 2 se concentre sur les domaines de puissance et les métriques, la description des domaines FS+, la topologie des espaces GB-métriques, les problèmes d'incohérence dans une combinaison de logiques de description et de règles, et les métriques pour les sous-graphes de la théorie des multi-ensembles.
La section 3 porte sur les types de données récursives (arbres binaires) et décrit l'algorithme de traversée récursive de l'arbre binaire et son amélioration, la conception des algorithmes d'arbres minimaux, la génération de listes d'arbres en fusionnant la détection d'arbres individuels et l'imputation du plus proche voisin à l'aide de données LIDAR aéroportées, une approche récursive de l'équerre de Kauffman et un nouvel arbre de décision à plusieurs voies pour de multiples types de données. La section 4 est consacrée à l'algébricité et aux algèbres de Boole, décrivant la théorie de la déformation des constantes de structure pour les algèbres associatives, l'algèbre de Boole et les algèbres de Galois centrales, l'addition d'ensembles dans l'espace booléen ainsi que l'algèbre et la géométrie des ensembles dans l'espace booléen, et la détection des trajets multiples à l'aide de techniques de satisfiabilité booléenne.
Autres informations sur le livre :
| ISBN : | 9781774694404 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
Achat:
Actuellement disponible, en stock.
