查询词典 ordered set bounded below

bounded universal quantifier：有界全称量词

不幸的是,在戴维斯找到的关联中用到了一个被称为有界全称量词(Bounded Universal Quantifier)的逻辑算符. 如果没有这个有界全称量词,他就可以证明所有的递归可枚举集都是丢番图集,大功也就告成了. 可是数学证明是差不得分毫的,因为有了这个有界全称量词,

bounded sequence：有界数列

divergent sequence 发散数列 | bounded sequence 有界数列 | decreasing sequence 递减数列

pointwise bounded sequence：点态有界序列

有点单纯复形 pointed simplicial complex | 点态有界序列 pointwise bounded sequence | 点态连续性 pointwise continuity

uniformly bounded variation：一致有界变差

uniformly better decision function 一致较好决策函数 | uniformly bounded variation 一致有界变差 | uniformly boundness 一致有界

function of bounded variation：有界变差函数

function field 函数域 | function of bounded variation 有界变差函数 | function of class 类函数

function of bounded variation：有界变分函数

fume 烟雾 | function of bounded variation 有界变分函数 | function of strain 应变函数

singular function of bounded variation：有界变差奇异函数

singular function 奇异函数 | singular function of bounded variation 有界变差奇异函数 | singular graph 奇异图

interval function of bounded variation：有界变差分的区间函数

区间函数 interval function | 有界变差分的区间函数 interval function of bounded variation | 区间分半法 interval halving

bounded：有界的

他把名词分为有界的(bounded)和无界(unbounded)的两类. 有界名词的单数需要一个规定词. 如:the horse,a horse,其类义是"事物种属出现在一个以上的标本中,而这样的标本是不能再分或合并的". 无界名词需要一个只为表明确定范围的规定词.

bounded：有界

"内包"实质上蕴涵着"有界"(bounded),有界的事件由主句表现,是图形,构成一个有界的关闭状(closure),关闭得越显著,就越能加强前景的突显程度;无界(unbounded)的事件由从句或非限定性从句表现,为图形事件提供背景范围.

the bird of wonder：凤凰;长生鸟

the bird of peace鸽子 | the bird of prey 猛禽 | the bird of wonder凤凰;长生鸟

flange rail：平底轨条

"凸缘皮带轮","flange pulley" | "平底轨条","flange rail" | "凸缘肋","flange rib"