请输入您要查询的词汇:
词汇
形式化方法
释义
xíng shì huà/huā fāng fǎ
把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
本汉语辞海收录380580条汉语词汇,基本涵盖了全部的常用词语,是目前收录最多的汉语词典之一。可浏览全部内容,也可按词语“词首”、“词中”、“词尾”及“释义”进行查询,是您工作、学习的好帮手。
【在线留言】
【返回前页】
【返回顶部】
【关闭窗口】