首页
>
汉语词典
>
形式化方法
形式化方法
词语详情
词语
形式化方法
读音
xínɡ
shì
huà
fānɡ
fǎ
解释
把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
单字意思
形
式
化
方
法
词语结构分析
字数
结构特点
可能词性
词语操作
收藏
朗读
最近更新词语
姑置勿论
孤傲不群
孤标傲世
孤标独步
孤臣孽子
孤俦寡匹
孤雏腐鼠
孤雌寡鹤
孤犊触乳
孤独鳏寡
孤独矜寡
孤恩负义
孤儿寡妇
孤芳自赏
孤寡鳏独
孤鸿寡鹄
更新时间:2025-07-05 22:23:18