查询词典 approximation calculus

Integralrechnung integral calculus：积分学

Integral integral 积分 | Integralrechnung integral calculus 积分学 | Integralzeichen integral sign 积分符号

integral closure：整闭包

integral calculus 积分学 | integral closure 整闭包 | integral conoid 积分劈锥面

Integralzeichen integral sign：积分符号

Integralrechnung integral calculus 积分学 | Integralzeichen integral sign 积分符号 | Integration integration 积分法

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)的一个否定的答案.

restricted lie algebra：限制李代数

restricted holonomy group 限制完整群 | restricted lie algebra 限制李代数 | restricted predicate calculus 狭谓词演算

logic calculus：逻辑学

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

logic calculus：逻辑演算

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

SPC Statist Process Control：统计制程管制

PPM Percent Per Million 批号 | SPC Statist Process Control 统计制程管制 | SQC Statist Qualiti Control 统计品质管制

TLV TEL AVIV：以色 Israel 特 维夫

巴嫩Lebanon 贝特 BEY Beirut | 以色 Israel 特 维夫 TLV Tel Aviv | 约旦Jordan 安曼 AMM Amman