查询
形式化方法 形式化方法的意思 形式化方法怎么读
“形式化方法”词语拼音为:xíng shì huà fāng fǎ,注音:,首字母:xshff,“形式化方法”的词性为:名词,近义词:形式化理论、形式方法论、形式化技术、形式系统,反义词:非形式化方法、非形式化技术、非形式系统,基本解释:把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
拼音 xíng shì huà fāng fǎ 注音 -
首字母 xshff 词性 名词
近义词 形式化理论、形式方法论、形式化技术、形式系统
反义词 非形式化方法、非形式化技术、非形式系统
基本解释 把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
补充纠错
上一个词语: 形识
下一个词语: 形式逻辑
”字词语 补充纠错
展开↧
”字词语 补充纠错
展开↧
”字词语 补充纠错
展开↧
”字词语 补充纠错
展开↧
”字词语 补充纠错
展开↧
相关汉字解释 补充纠错