词语形式化方法的详细解释,形式化方法的拼音及基本释义

形式化方法

【拼音】xíng shì huà fāng fǎ

【英文】 -

【基本释义】 把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。

【详细解释】 -

【分字组词】 化组词 式组词 形组词 方组词 法组词