查询词典 predicate calculus

differential and integral calculus：微积分[学]

calculus 微积分[学];演算,计算 | differential and integral calculus 微积分[学] | differential calculus 微分[学]

single variable differential calculus：一元函数微分学

.微分学 differential calculus | .一元函数微分学 single variable differential calculus | .一元函数积分学 single variable integral calculus

calculus of fluxion：微积分;流数术

[有限]差分[演算]法 calculus of finite differences | 微积分;流数术 calculus of fluxion | 自然推理演算 calculus of nature inference

calculus of fluxion：流数术

1243,"calculus of finite differences","[有限]差分法" | 1244,"calculus of fluxion","流数术" | 1245,"calculus of nature inference","自然推理演算"

calculus,calculi,biliary：胆结石

\\"结石\\",\\"calculus,calculi\\" | \\"胆结石\\",\\"calculus,calculi,biliary\\" | \\"膀胱石,胆束石\\",\\"calculus,calculi,cystic\\"

It is：是

当说到"它是(it is)真的"或"它是好的"时,人们通常只关注到"真的"和"好的"这类取值谓词(evaluational predicate)而忽视了"是"(is)这一判定性谓词(apodictic predicate),甚至以为洒不是一个谓词.

predicate logic language：谓词逻辑语言

predicate logic 谓词逻辑 | predicate logic language 谓词逻辑语言 | predicated response 预测响应

first order predicate logic：一阶谓词逻辑

谓词逻辑 predicate logic | 一阶谓词逻辑 first order predicate logic | 非单调逻辑 nonmonotonic logic

predicate variable：谓词变项

predicate symbol 谓词符号 | predicate variable 谓词变项 | prediction law 预报律

one point compactification：单点紧化

one place predicate calculus 一元谓词演算 | one point compactification 单点紧化 | one point set 退化集

user data clear：清除用户数据

user color 用户选用色 | user data clear 清除用户数据 | user tools 使用者工具

power station：电站

电站(Power Station):和所有RTS一样,它为战争提供必要的电力供应. 维泰奇人 一、概况 维泰奇人(Vitechy)是故事情节中一个非常重要的种族,但在对战中不能选择维泰奇人,这个种族拥有令人骄傲的科技力量. 对于维泰奇人(Vitechy)来说,