证明用的

append

附加

他以两个链表(list)的"附加"(append)操作为例说明可以用递归的方法定义这个函数,并可以用形式化的方法证明链表的附加操作是满足结合律的(associative law ),即但不知什么原因,这篇演说没有发表.

cocoa

可可豆

可可豆(Cocoa)在世界范围内广受欢迎,这不仅仅是因为它们可以用来制造巧克力. 最近的医学研究已经证明,消费这类豆科植物对健康非常有益. 美国医学专家把它叫做"超级食品". 一些研究证明红葡萄酒含有抗氧化剂,并建议定期饮用红葡萄酒以延长寿命.

Scatter diagram

点图

设计变革 时间第 1 件产品 采用 QFD 未采用 QFD QFD 可散点图(Scatter Diagram) 散点图用来研究两个变量之间可能的因果关系. 散点图并不能证明一个变量是另一个变量产生的原因,但它可以证明两个变量是否相关联以及相关的强弱.

free variable

自由变量

郑老师指出,只有自由变量(Free Variable)才可以置换(Subsititue). 上述证明中,x和y不是自由变量. 之后,郑老师独立做了一个解答,我编程序来测试(虽然郑老师认为应该用证明方式). 以下我尝试把郑老师的解答,加上我的理解去演译一个正确答案.

irrational

无理数

毕达哥拉斯学派证明了那个对角线长度确实"不可公度"(rational由 ratio派生而来,意为"可比". "不可公度"即不能表示成两个整数的比),这也就是"无理数"(irrational)这个名称的来源. 用反证法证明 √2(根号2)不可表示为两整数之比,你可以试一试.

mathematical induction

数学归纳法

数学归纳法(Mathematical Induction) 虽然是一个强有力的证明工具, 在使用上稍 ... 例题二: 某人想要用数学归纳法证明「平面上任意n 条直线, 若其中没有任何两条线互相 ...... 根据数学归纳法,当n为任意自然数时都成立,n可以到无限大,所以人力是无限大!

testing

试验

康德认为知识没有经验是不能存在的,所以他认为知识应该透过试验(testing)去证明,在此,康德结合了理性主义(依赖人的理性分析)及经验主义(用科学方法证明事物).

Topic sentence

主题句

它一定是杂乱无章.一段文章应该只说明一个问题,或一个问题的某一方面;应该只叙述一件事情,或一件事情的某一个阶段.为了写好段落,通常的写法是:在一段的开头用一句话点出本段的中心意思,即"主题句"(topic sentence).然后,用几句来证明,

adlay

薏苡

例如,中国传统养生学认为薏苡(adlay)仁性凉、味甘淡,用它作的食品可以治疗积热而发的痤疮和热毒产生的扁平疣. 1982年平野京子教授用现代实验方法证明了薏苡仁中的木瓜蛋白酶(papain)可把体内的病变细胞分解,因此可以治疗痤疮和扁平疣等皮肤病,

Verbascum

毛蕊花属

文殊兰属的这个例子引导我想起一个奇妙的事实,即半边莲属(Lobelia)、毛蕊花属(Verbascum)、西番莲属(Passif1ora)的某些物种的个体植物,容易用不同物种的花粉来受精,但不易用同一物种的花粉来受精,虽然这花粉在使其他植物或物种的受精上被证明是完全正常的.

tranquil flow：平静怜

train 列 | tranquil flow 平静怜 | transceiver 无线电收发机

The Marschallin's Major-Domo：瑪莎琳元帥夫人管家 男高音

A police inspector 警官 男低音 | The Marschallin's Major-Domo 瑪莎琳元帥夫人管家 男高音 | An innkeeper 客棧老闆 男高音