查询词典 propositional calculus

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

lower limit of integral：积分下限

积分微分方程|integro-differential equation | 积分下限|lower limit of integral | 积分学|integral calculus

Microlith; Microscopic calculus：微细结石

Microhystery; Diminutive uterus; Dwarf uterus 小子宫(畸形); 侏儒子宫 | Microlith; Microscopic calculus 微细结石 | Micromasty 小乳腺(畸形); 乳腺过小

carry forward：发扬光大

发人深省set people thinking | 发扬光大carry forward | 翻山越岭tramp over hill and dale

artistic generalization：艺术概括

artistic form 艺术形式 | artistic generalization 艺术概括 | artistic hallucination 艺术幻觉