形式化方法 xíng shì huà fāng fǎ
词语解释:
把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
分词解释:
特制:
1.以手诏形式宣行的诏令。
2.特地制造。
3.指特别的工艺制造。
揭示:
①公布(文告等):揭示牌。
②使人看见原来不容易看出的事物:揭示客观规律。
方法:
关于解决思想、说话、行动等问题的门路、程序等:工作方法ㄧ学习方法ㄧ思想方法。
联系:
彼此接上关系:保持联系ㄧ理论联系实际 ㄧ密切联系群众ㄧ以后多写信,不要失掉联系。
普遍:
大面积的;有共性的:普遍反应良好|具有普遍意义。
以上就是词典栏目关于形式化方法的相关内容,如有错漏请向我们反馈。