查询词典 statement calculus

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"

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 颅石; 颅结石

phenol red：酚红,苯酚磺酞

phenol reagent 酚试剂 | phenol red 酚红,苯酚磺酞 | phenol red test 酚红排泌试验

accessory equipment：附件

accessory equipment 辅助设备 | accessory equipment 附件 | accessory part 附件