在线新华字典,在线汉语查询
当前位置 : 在线新华字典,在线汉语查询 > 查词语 > 形式化方法

形式化方法


拼音: xing shi hua fang fa   声调: xíng shì huà/huā fāng fǎ

形式化方法 的意思和解释


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