Revision 29144542 of "具体域" on zhwiki

'''具体域'''(Concrete Domain)是[[逻辑]]中的一个概念,通常用来指所有的([[数据类型]])的集合,如数字和字符串。它和[[抽象域]]所对立,后者指抽象个体的解释空间。

[[category:邏輯語言]]