查询词典 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 颅石; 颅结石

Minstrel Show：化装黑人乐队的演出

show cause 提出正当理由 | minstrel show 化装黑人乐队的演出 | medicine show 走江湖卖药

punctual aspect：準時式;準時體;一次體

punched card 穿孔卡片 | punctual aspect 準時式;準時體;一次體 | punctuation 標點符號用法