formal derivation发音

意思翻译

形式推导

相似词语短语

derivation───n.起源；推导；词源，派生词；导数

formal───n.(Formal)人名；(法)福马尔；n.正式的社交活动；夜礼服；adj.正式的；拘谨的；有条理的

formal education───正规教育；形式教育；形式教育; 正式教育

formal contract───正式合同；流通票据（可转让的票据）；要式合同；n.流通票据，可转让的票据

formal setting───正式场合；正式环境

derivation definition───派生定义

formal name───正式名字；官名；官方名字

formal method───形式方法

formal language───[计]形式语言

双语使用场景

This paper presents the steps of the formal derivation method of programs by the development of two problems.───以两个问题的程序开发为例说明了程序的形式推导方法的使用。

Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality.───能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。

Formal derivation and implementation with polymorphism of the problem of Dutch national flag───荷兰国旗问题的形式化推导及其多态性实现

Formal Derivation Method of Programs───程序的形式推导方法

英语使用场景

Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality.