形式化方法

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

注音ㄒ一ㄥˊ ㄕˋ ㄏㄨㄚˋ ㄈㄤㄈㄚˇ

词语解释

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

※ "形式化方法"的意思解释、形式化方法是什么意思由范文之家汉语词典查词提供。

1、逻辑演算对推理形式有效性的研究，比传统逻辑更抽象、更严格，其原因是形式化方法的运用。

2、是否采用形式化方法，这是存在于广义语言逻辑与狭义语言逻辑之间的激烈论争。

3、语言就是形式化方法中具有代表性的一种形式规格说明，它语言精确、无二义性，可以用于推理和求精。

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

5、在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。

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

7、为了帮助IT组织评估过多的公开源码产品的成熟度，作者设计了一个形式化方法以及一个标准化的分析框架。