... complete normality axiom 完全正规性公理 complete ordered field 全序域 complete orthogonal sequence 完全正交序列 ...
基于44个网页-相关网页
程序全局区域 Program Global Area ; PGA
限制的全域排序 restricted universe sort
·2,447,543篇论文数据，部分数据来源于NoteExpress
我们给出一个与传统的全序域定义等价的全序域定义，并由此推导出一系列关于全序域的基本命题。
We give a new definition of the so-called ordered field which is equivalent to the traditional one, and derive a series of the basic propositions with this new definition.
youdao
应用推荐
模块上移
模块下移
不移动