英语人>网络解释>quantifier 相关的网络解释
quantifier相关的网络解释

查询词典 quantifier

与 quantifier 相关的网络解释 [注:此内容来源于网络,仅供参考]

tuple calculus:元组[关系]演算

域[关系]演算 domain calculus | 元组[关系]演算 tuple calculus | 量词 quantifier

unbounded operator:无界算子

无界区间 unbounded interval | 无界算子 unbounded operator | 无界量词 unbounded quantifier

unbounded universal quantifier:无界全称量词

无界解 unbounded solution | 无界全称量词 unbounded universal quantifier | 无界字符箱字型 unbounded-box font

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 QUANTIFIER IN FOPC:全称量词 (一阶谓词演算)

181 UNIFICATION 成分的合一 OF CONSTITUENTS | 182 UNIFICATION - BASED GRAMMARS 基于合一的文法 | 183 UNIVERSAL QUANTIFIER IN FOPC 全称量词 (一阶谓词演算)

universal relation:通用关系

universal quantifier 全称量词 | universal relation 通用关系 | universal set 通用集合

universal set:全集; 宇集; 泛量

universal quantifier 全称量词 | universal set 全集; 宇集; 泛量 | unknown 未知数;未知量

universal set:全集

universal quantifier 全称量词 | universal set 全集 | universal turing machine 通用图灵机

第6/7页 首页 < 1 2 3 4 5 6 7 > 尾页
推荐网络解释

steel,hypoeutectoid:亚共析钢

"steel,hypereutectoid","过共析钢" | "steel,hypoeutectoid","亚共析钢" | "steel ingot","钢锭"

midpoint tap:中心抽头=>中间抽头

midpoint rule 中点法则 | midpoint tap 中心抽头=>中间抽头 | midrange lateral acceleration handling maneuver 中等横向加速转向运动

lamentation:悲叹

lamentably 哀伤地 | lamentation 悲叹 | Lamentations 耶利米哀歌