形式化方法是什么意思

词条 形式化方法

拼音 xíng shì huà fāng fǎ

形式化方法是什么意思

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

形式化方法的造句

1、基于霍尔的“通信顺序进程”和相关的网络形式化的理论研究结果,提出了一种网络故障管理的形式化方法

2、第五章对比了常用软件测试方法,讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。

THE END