网络解释
谓词演算
- 与 谓词演算 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
restricted primal problem
设限的原问题
狭谓词演算 restricted predicate calculus | 设限的原问题 restricted primal problem | 设限三体问题 restricted problem of three bodies
-
pure set theory
一般集合论
pure predicate calculus of first order 一阶纯谓词演算 | pure set theory 一般集合论 | pure state 纯状态
-
restricted randomization
限制随机化
restricted predicate calculus 狭谓词演算 | restricted randomization 限制随机化 | restriction 限制
-
sentential connective
命题联结词
sentential calculus 命题演算 | sentential connective 命题联结词 | sentential function 谓词
- 推荐网络解释
-
Greco-Latin square：希腊拉丁方格
Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批
-
cunningham：帆前角下拉索
斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul
-
overstuffed：塞得过满
软性玩具 soft toy | 塞得过满 overstuffed | 教边 fray