域理论的网络释义
域理论是研究通常叫做域(domain)的特定种类偏序集合的数学分支。因此域理论可以被看作是序理论的分支。这个领域主要应用于计算机科学中,特别是针对函数式编程语言,用它来指定指称语义。域理论以非常一般化的方式形式化了逼近和收敛的直觉概念,并与拓扑学有密切联系。在计算机科学中指称语义的一个可作为替代的方式是度量空间。
繁体字转换器为您提供域理论繁体,域理论的老写,域理论的繁体,域理论的繁体字如何写,域理论的繁体字,域理论的繁体字转换对照,域理论的简繁体互转,域理论的繁体字怎么写,域理论繁体字,域理论繁体笔画,域理论的简繁体字怎么写,域理论简体繁体转换,怎么写域理论的繁体字,域理论的繁体怎么写等域理论繁体字在线查询。