形式化方法是什么意思

形式化方法 xíng shì huà fāng fǎ

词语解释

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

分词解释

特制:

1.以手诏形式宣行的诏令。

2.特地制造。

3.指特别的工艺制造。

揭示:

①公布(文告等):揭示牌。

②使人看见原来不容易看出的事物:揭示客观规律。

方法:

关于解决思想、说话、行动等问题的门路、程序等:工作方法ㄧ学习方法ㄧ思想方法。

联系:

彼此接上关系:保持联系ㄧ理论联系实际 ㄧ密切联系群众ㄧ以后多写信,不要失掉联系。

普遍:

大面积的;有共性的:普遍反应良好|具有普遍意义。

以上就是词典栏目关于形式化方法的相关内容,如有错漏请向我们反馈。