形式化方法怎么读
点击播放按钮播放发音:
Update Required
To play the media you will need to either update your browser to a recent version or update your
Flash plugin.
翻译解释
- 形式化方法什么意思:形式化方法 基本解释:把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
- 形式化方法的英语:formal methods
- 形式化方法的法语:Méthode formelle (informatique)
- 形式化方法的韩语:정형 기법
- 形式化方法的俄语:Формальные методы