查询词典 calculus

sp; integral calculus：积分

sp; integral calculus 积分 | function 函数 | derivative 导数

Integralrechnung integral calculus：积分学

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

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

Microlith; Microscopic calculus：微细结石

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

minimal propositional calculus：极小命题演算

minimal polynomial 极小多项式 | minimal propositional calculus 极小命题演算 | minimal solution 极小解

Renal calculus; Nephrolith; Kidney-stone：肾结石; 肾石

Renal calcification 肾石灰化 | Renal calculus; Nephrolith; Kidney-stone 肾结石; 肾石 | Renal cancer; Cancer of kidney 肾癌; 肾癌病

Anopheles candidiensis：日月潭疟蚊

\\"疟蚊属\\",\\"Anopheles\\" | \\"日月潭疟蚊\\",\\"Anopheles candidiensis\\" | \\"中华疟蚊\\",\\"Anopheles hyrcanus var. sinensis\\"

Gnome Milnes:GNOME：下的扫雷

2. Games:游戏软件 | 1) Gnome Milnes:GNOME下的扫雷; | 2) Gnibbles:贪吃蛇游戏;