热搜：坐根庌舍属稾自脱左宗棠直闯闯徵名责实琭簌琭琭周传瑛

形式化方法

xíng shì huà fāng fǎ

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

形式化方法

形式化方法读音

读音：xíng shì huà fāng fǎ
注音：ㄒ一ㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤㄈㄚˇ
繁体：

形式化方法的词语解释

词语解释

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

大家在看：