域理論數學中,序理論的分支 / 維基百科,自由的 encyclopedia 域理論(英語:Domain theory)是研究通常叫做「域」的特定種類偏序集合的數學分支。因此域理論可以被看作是序理論的分支。這個領域主要應用於電腦科學中,特別是針對函數式程式設計語言,用它來指定指稱語意。域理論以非常一般化的方式形式化了逼近和收斂的直覺概念,並與拓撲學有密切聯絡。在電腦科學中指稱語意的一個可作為替代的方式是度量空間。 提示:此條目頁的主題不是體論或場域理論。
域理論(英語:Domain theory)是研究通常叫做「域」的特定種類偏序集合的數學分支。因此域理論可以被看作是序理論的分支。這個領域主要應用於電腦科學中,特別是針對函數式程式設計語言,用它來指定指稱語意。域理論以非常一般化的方式形式化了逼近和收斂的直覺概念,並與拓撲學有密切聯絡。在電腦科學中指稱語意的一個可作為替代的方式是度量空間。 提示:此條目頁的主題不是體論或場域理論。