说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 导出常数
1)  derived constant
导出常数
2)  defining constants and derived constants for the reference ellipsoid
参考椭球的定义常数和导出常数
3)  output constant
输出常数
4)  common derivative
常义导数
5)  Derivative of anomaly
异常导数
6)  transmission constant
传导常数
补充资料:导出法则


导出法则
derived rule

  导出法则l山幼,目n此;npo”翔口“oe np姗月。],给定演算中的推演法则的 如果一个推演法则的结论可以由它的取自所考虑的演算中的诸前提推出,则称此推演法则为导出法则.例如在命题演算(pmpeslt10nal calculus)中,由于 AOB,BOC卜A,C成立,所以推演法则 A OB,B OC A OC是命题演算中的一个导出法则.每一个导出法则均是合理法则(so山ld们目e).然而并非所有合理法则皆为一个导出法则.例如在命题演算中代换法则(sul比titu-tion rule)是合理的,但它不是一个导出法则.
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条