查询词典 predicate calculus

formula for integration by substitution：换元公式

微积分基本公式 fundamental formula of calculus | 换元公式 formula for integration by substitution | 递推公式 recurrence formula

interplay, interact：相互作用

multiplication, algebraic concepts(代数学), geometry, calculus | 47. 相互作用 interplay, interact, | 48. 矛盾 contradiction, discrepancy, conflict

Lagrange problem in calculus of variations：变分法中的拉格朗日问题

lagging-type equations 滞后型方程 | lagooning of sludge 污泥池蓄处理 | Lagrange problem in calculus of variations 变分法中的拉格朗日问题

lambda calculus：演算

λ演算(lambda calculus)是一套用于研究函数定义、函数应用和递归的形式系统. 它由丘奇(Alonzo Church)和他的學生克莱尼(Stephen Cole Kleene)在20世纪30年代引入. Church 运用λ演算在1936年给出判定性问题(Entscheidungsproblem)的一个否定的答案.

logic calculus：逻辑学

logic 逻辑 | logic calculus 逻辑学 | logic of pocket calculator 袖珍计算机的逻辑

logic calculus：逻辑演算

"逻辑的计算机辅助设计","logic CAD" | "逻辑演算","logic calculus" | "逻辑能力","logic capability"

three valued logic calculus：三值逻辑学

三值逻辑 three valued logic | 三值逻辑学 three valued logic calculus | 阈逻辑 threshold logic

logic of pocket calculator：袖珍计算机的逻辑

logic calculus 逻辑学 | logic of pocket calculator 袖珍计算机的逻辑 | logic of relations 关系逻辑

logistical regression：逻辑斯谛回归

逻辑斯谛分布|logistic distribution | 逻辑斯谛回归|logistical regression | 逻辑演算|logical calculus

Crab lousiness：阴蝨病

Coxopathy; Coxarthropathy; Hip-joint disease; Hip disease 髋关节病 | Crab lousiness 阴蝨病 | Cranial calculus; Craniolith 颅石; 颅结石

user data clear：清除用户数据

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

power station：电站

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