含“新发现”标签的词语 （共 1 条）

• 形式化方法

  拼音：xíngshìhuàfāngfǎ词典解释把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，…