形式化方法是什么意思

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

分字解释

形

形 xíng 实体：形仪（体态仪表）。形体。形貌。形容。形骸。形单影只。形...更多

式

式 shì 物体外形的样子：式样。样式。特定的规格：格式。程式。典礼...更多

化

化拼音：huà,huā,化部首：亻化笔划：4化的笔顺

化 huà 性质或形态改变：变化。分化。僵化。教（jiào ）化。熔化。融化...更多

方

方 fāng ◎ 四个角都是90度直角的四边形或六个面都是方形的立体；正～...更多

法

法 fǎ 体现统治阶段的意志，国家制定和颁布的公民必须遵守的行为规则：法...更多