1) mathematical derivation
数学推导
1.
On the thermoacoustic vibration frequency of a Rijke combustor—mathematical derivation and experimental verification;
Rijke燃烧器热声振动频率的数学推导及试验验证
2) method of the mathematical inference
数学推导方法
3) Derivative extrapolation
导数外推
4) inferred index
推导指数
5) Mathematical extrapolated method
数学外推
6) mathematical reasoning
数学推理
1.
Firstly, proceeding from the comprehension of mathematical reasoning and its ability, this article elaborated on the importance of deductive reasoning and plausible reasoning to correct long-term cognition of.
首先，本文从对数学推理、数学推理能力的理解着手，使人们对数学推理能力有一个较为全面的、科学的认识，纠正长期以来数学教学注重采用“形式化”的方式发展学生的论证推理能力，而忽视合情推理能力的培养。
补充资料：推导法则
推导法则
derivation rule
推导法则【山由a位犯nde;脚8o八a即aBI.加l 由一集称为前提(plelllls巴)的对象出发，产生称为这个推导法则的结论(conclusions)的对象的方法;在描述各种演算(份Ic山谓)时，形式化的推导法则起着决定性的作用(一种推导法则通常只在某个特定的演算的范围内才有意义).对那些有语义学(女肛迢n-此)解释的演算(特别是在大多数逻辑数学演算(fog-ico一皿t比n坦ticala习司伍)中)，推导法则都要保真，即真的前提只允许得到真的结论;这种推导法则中最重要的一例就是分离法则(1侧刃us ponens).现在被研究的多数演算中，一个推导法则只有有限多个前提(最重要的一个例外是Can.P法则(Q湘p rule)).一般，一个给定的推导法则的前提的个数在其一切应用中都保持不变.当然，一个给定的法则可以应用的次数原则上并无限制. 形式化一个推导法则的方法是极为多样的，这种方法取决于演算的语言，以及可以包括的不同类型的变元.大多数推导法则可以按如下的一般模式给出:给定一个不含字符口的字符表A，及一个自然数l，导亨l个煎攀的堆导诊别定义为字符表A日{口}上的某个算法(司gorit加叮)吸.如果吸可以作用于字P0口…口尸，，其中几，…，p，是A上的字，符号口在这儿作为分隔号，则尸1，…，只被看成是前提，P0被看成是这个推导法则在这一特定作用下得到的结论.一种特殊的推导规则是没有前提的推导法则(也称为公理模式(a习0们以邪h日rr亡)).在只含这种法则的任何一个演算中，可推导的字的集合总是可数的.一个推导法则往往还要满足一个更为严格的要求:在算法的帮助下，可以判断几是否可以从p，，…，只只用此规则一次而演绎出来.C.IO·M扛朋。”撰【补注】通常，“推导法则”都被简单地用一个词“法则”来代替.例如，假言推理有时也被称为分离法?.J(rule of detachrnent)·
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条