域理论數學中,序理論的分支 / 维基百科,自由的 encyclopedia 域理论(英语:Domain theory)是研究通常叫做“域”的特定种类偏序集合的数学分支。因此域理论可以被看作是序理论的分支。这个领域主要应用于电脑科学中,特别是针对函数式编程语言,用它来指定指称语义。域理论以非常一般化的方式形式化了逼近和收敛的直觉概念,并与拓扑学有密切联络。在电脑科学中指称语义的一个可作为替代的方式是度量空间。 提示:此条目页的主题不是域论或场域理论。
域理论(英语:Domain theory)是研究通常叫做“域”的特定种类偏序集合的数学分支。因此域理论可以被看作是序理论的分支。这个领域主要应用于电脑科学中,特别是针对函数式编程语言,用它来指定指称语义。域理论以非常一般化的方式形式化了逼近和收敛的直觉概念,并与拓扑学有密切联络。在电脑科学中指称语义的一个可作为替代的方式是度量空间。 提示:此条目页的主题不是域论或场域理论。