形式化方法现代汉语词典在线查询

• 形
• 式
• 化
• 方
• 法

形式化方法的拼音：xíng shì huà fāng fǎ，形式化方法的首拼：xshff

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

• 形式主义
• 形式
• 形废
• 形干
• 形局
• 形寿
• 形容词
• 形容枯槁
• 形容憔悴
• 形容
• 形家
• 形宜
• 形学
• 形孤影寡
• 形孤影孑
• 形孤影只
• 形如槁木
• 形夸骨佳
• 形夭
• 形天
• 形式逻辑
• 形形色色
• 形影
• 形影不离
• 形影相亲
• 形影相依
• 形影相吊
• 形影相守
• 形影相对
• 形影相怜
• 形影相携
• 形影相追
• 形影相附
• 形影相随
• 形影相顾
• 形影自吊
• 形影自守
• 形役
• 形态
• 形态学