任何一个

proof theory

证明论

在证明论(proof theory)和相关的数理逻辑的领域中,一个形式的演算(caluclus)相对于一个特定的逻辑(即相对于它的语义(semantics))是完备的,如果任何由一组前提Q根据语义导出的陈述P,都可以从这组前提出发利用这个演算语法地(syntactically)导出.

Pure culture

纯培养物

菌落(colony)单个微生物在适宜固体培养基表面或内部生长繁殖到一定程度;形成肉眼可见有一定形态结构的子细胞的群落. 菌株(strain) 表示任何由一个独立分离的单细胞繁殖而成的纯遗传型群体及其一切后代. 因此,一种微生物的每一不同来源的纯培养物(pure culture)或纯分离物(pure isolate)均可称为某菌种的一个菌株.

random variable

随机变数

Chu (1994)表示一个贝氏理论决策者相信任何他或她不知道的数量之价值可以用一个随机变数(random variable)来表示,他或她相信有可能以事前(prior)的机率密度函数(PDF)来表达他或她对于这个随机变数的事前意见,prior乃是累积决策者的经验与相关统计资料而形成.

reaction

反作用

"每一浪都具有这两个功能之一:作用(Action)或反作用(Reaction). 明确地讲,一个波浪既可推进更大一级波浪的目标,又可打断它. 波浪的功能取决于其相对方向. 一个作用浪或顺势浪是与其作为其中一部分的大一浪级波浪同向运动的任何波浪;

tape recorder

带记录器

资料也可储存于一个容量为5.24 MBits的磁带记录器(tape recorder),稍后再传送. 所有的动作由一个指令子系统控制,可处理任何29个direct command words或三个quantitative word commands,实施中途操纵功能.

replace

替换

"编辑"(Edit) > "替换"(Replace)您可以在任何组件级替换零件或组件元件,而目标元件及其所有子项将被自动替换. 在"替换"(Replace)对话框中,您可以从一个对象向另一个对象映射参照. 使用表格,您可以加亮或用颜色编码那些目标和源参照标记.

Seneca

辛尼加

』辛尼加(Seneca)也说:『正如一个生病的肚子吃了食物,可以把它们变坏;所以当一个受蒙蔽的黑暗之心,接受任何事物的时候,也会变成自己的一种负累和败坏. 对邪恶的人,就连对他们有好处的东西也是无益的;甚至那些实际上对他们无害的东西,

serialize

串行化

实际上,串行化(serialize)或加密了的数据,压缩并不能有效地减小数据的大小(比如:文本中没有太多重复东西的). 这儿是另一个例子,它演示了如何将这个框架应用于一个 看一看当前页面的URL. 注意任何有趣的东西. 整个网站都是用PHP编写的,

Moonlight sonata

月光奏鸣曲

每次做这些动作都要有所不同,因为它们所面临的情况不会完全一样. 这就是它和音乐模式的不同之处. 对一个钢琴家来说,贝多芬的>(moonlight sonata)的曲调从来不会改变,但对于一个篮球运动员来说,没有任何两次传球的情况是完全相同的.

soundness

可靠性

相反的概念被称为可靠性(soundness). 在计算复杂度理论(computational complexity theory)中,一个问题P对于一个复杂度类C,在某个给定类型的归约下是完全的(complete),如果P在C中,并且C中的任何问题利用该归约都可以化归到P. 例如,

papaya, papaw：番木瓜tLu中国学习动力网

nutmeg 肉豆蔻tLu中国学习动力网 | papaya, papaw 番木瓜tLu中国学习动力网 | guava 番石榴tLu中国学习动力网

abstractive：有抽象能力的

abstractionist 抽象派艺术家 | abstractive 有抽象能力的 | abstractively 抽象地