formal derivative

formal derivative的基本解释

-

形式导数

与formal derivative相关的网络例句 [注：此内容来源于网络，仅供参考]

Introduced formal notations of derivative which keep the properties of derivative and their operations are easily realized on computer,A mechanization proving principle of automatic reasoning of transformations between differential equations is built.

引进保持性质的导数的形式记号，建立了微分方程变量间依赖关系的自动推理的机械化证明原理，从而方程间的变换（如Backlund变换等）均可机械地验证。

The following results are obtained:(1)a derivative formal context of an information system can be induced by the notion of nominal scale and the technique of plain scaling in formal concept analysis;(2)some core notions in rough set theory such as partition,upper and lower approximations,independence,dependence and reduct can be reinterpreted in derivative formal contexts.

利用形式概念分析中名义梯级背景的概念，对信息系统进行平面梯级得到了衍生的形式背景。证明了粗糙集理论中的划分、上下近似、独立、依赖、约简等核心概念都可以在相应的衍生背景中进行表示。

与formal derivative相关的网络解释 [注：此内容来源于网络，仅供参考]

formal derivative：形式导数

formal 形式的 | formal derivative 形式导数 | formal language 形式语言