查询词典 quantifier
- 与 quantifier 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
submodel complete：子模型完备
模型完备 model complete | 子模型完备 submodel complete | 量词消去 quantifier elimination
-
totally geodesic submanifold：全测地子流形
全不连通图|totally disconnected graph | 全测地子流形|totally geodesic submanifold | 全称量词|universal quantifier
-
tuple calculus：元组[关系]演算
域[关系]演算 domain calculus | 元组[关系]演算 tuple calculus | 量词 quantifier
-
unbounded operator：无界算子
无界区间 unbounded interval | 无界算子 unbounded operator | 无界量词 unbounded quantifier
-
unbounded sequence：无界序列
无界量词 unbounded quantifier | 无界序列 unbounded sequence | 无界集 unbounded set
-
bounded uniform space：有界一致空间
bounded type strain gauge | 固定型应变仪 | bounded uniform space | 有界一致空间 | bounded universal quantifier | 有界全称量词
-
universal proposition：一般命题
universal negative proposition 全称否定命题 | universal proposition 一般命题 | universal quantifier 全称量词
-
universal relation：通用关系
universal quantifier 全称量词 | universal relation 通用关系 | universal set 通用集合
-
universal set：全集; 宇集; 泛量
universal quantifier 全称量词 | universal set 全集; 宇集; 泛量 | unknown 未知数;未知量
-
universal set：全集
universal quantifier 全称量词 | universal set 全集 | universal turing machine 通用图灵机
- 推荐网络解释
-
Greco-Latin square：希腊拉丁方格
Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批
-
cunningham：帆前角下拉索
斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul
-
overstuffed：塞得过满
软性玩具 soft toy | 塞得过满 overstuffed | 教边 fray