formal derivation的意思

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.