查询词典 mathematical

type theory：(类理论)

? Mathematical logic and Formal languages(数理逻辑和形式语言)、 | ? Type theory(类理论)、 | ? Quantum computing (昆腾计算)、

rule space model：规则空间

空间模型:Space Model | 规则空间:rule space model | 数学物理模型:mathematical-physical model

Shang Yu Mathematical School Exercise：《上虞算学堂课艺>

敦煌<<伤寒论>>残卷:Shang Han Lun of dun huang | <<上虞算学堂课艺>>:Shang Yu Mathematical School Exercise | <<河上公注>>:the Ho-shang Kung Commentaries on the Lao Tzu

Putnam：普特南

'作为第十三届(1953年) 普特南(Putnam)数学竞赛试题的A-2题. 1958年,上述的匈牙利竞赛题有作为征解问题刊登在<<美国数学月刊(The American Mathematical Monthly)>>的5、6月号上,其编号为E1321. 你说,对于我等大学数学教师,

Tooth Fairy：有關換牙的童話

mathematical equation 數學公式 | tooth fairy 有關換牙的童話 | vision impaired people 視覺障礙人群

Explicit conversions：(显式类型转换)

when calling mathematical functions(调用算术函数时的 | Explicit conversions(显式类型转换),124 | Exponent, of a floating-point number(浮点数的指数),28,

mathematical sedimentology：数学沉积学

mark sensed card标记读出卡片 | mathematical sedimentology数学沉积学 | maximised locking force最大闭锁力

optional internal close juncture：任意性内部关音渡

mathematical philosophy 数理哲学 | optional internal close juncture 任意性内部关音渡(/|/) | BAT file extension BAT文件扩展名

Department of Justice Studies：司法学系

Department of History 历史系 | Department of Justice Studies 司法学系 | Department of Mathematical Sciences 数学系

locating center punch：定位中心冲头

lining 内衬 | locating center punch 定位中心冲头 | locating pilot pin 定位导梢

Humours：(幽默) (幽默) 幽默

13 Euphemism (委婉) (委婉) 委婉 | 14 Grotesque (怪诞) (怪诞) 怪诞 | 15 Humours (幽默) (幽默) 幽默