格值Domain理论作为Domain理论的一个重要分支，有较大的理论研究价值和较好的应用前景，可为并发式语言提供量化模型。目前，该理论已有一些有价值的研究成果，不仅可以推动相关结构语义学的研究，而且可以为程序设计语言指称语义学的发展提供坚实的数学基础，同时由于它与其他学科的交叉、渗透，使得它的研究内容更加丰富，研究意义更大。本书综合运用Domain理论、范畴论、模糊集理论和模糊拓扑学等相关知识，系统地研究了格值Domain理论及其相关范畴性质，本书的主要内容是作者近几年来研究工作的总结，同时兼顾了国际上此领域的最新研究成果，全书共10章，具体内容包括预备知识、格值偏序集范畴的反射满子范畴、格值弱Cut-stable映射的扩张性、代数格值Domain范畴及其等价范畴、有界完备格值Domain、格值ZL-代数偏序集及其闭包系统、格值ZL-紧完备偏序集及其范畴性质、格值量子空间、格值量子空间的范畴性质、格值多序集及多元形式概念分析。
本书可作为不确定性推理、量化Domain、模糊数学等基础数学和理论计算机专业的研究生教材，也可供数学与计算机等相关专业的高年级本科生、教师与研究人员阅读参考。
展开
