formal proof的意思|示意

美 / ˈfɔ:məl pru:f / 英 / ˈfɔrməl pruf /

[数] 形式证法

[数] 形式证明

英语单词formal proof指的是形式化证明，它是指使用一种形式化语言，通过定理、论证、条件等方法来证明数学定理或概念的状态的一种证明方法。

形式化证明是一种明确的证明方法，可以采用各种逻辑公理、定义、定理、证明步骤等来证明一个关于某个实体的数学关系的真实性。它的运行原理是将某个关系写进一个数学结构中，然后用精确的逻辑，从公理定理到定义和结论，按照预定的步骤证明这个关系是真实存在的，而不是任意假定而得出的结论。

形式化证明有时也会叫做形式化论证或形式化推广。它主要用于证明或说明一个概念的定义、特性、性质、极限等问题的正确性。它反映了数学的基本逻辑，比较客观地反映了一个问题的真实性，可以加强人们对一个问题的认知，更好地指导教育教学。

形式化证明可以用多种语言表达，最常用的是逻辑比较语言、泛叙论语言、数学表达语言和编程语言。它们可用于不同计算机语言的编程，也可以用来做更复杂的数学定理、数学公式以及数学推理的证明。

形式化证明也经常用于证明某个程序的正确性或正确性的证明，它可以用来提高软件的可靠性，以期达到高性能、高稳定性的目的。通过形式化证明，可以确保程序的各个部分的正确性，更好地保障程序运行的安全性和可靠性。

1、 formal proof method 形式化的证明方法

2、 formal l proof 形式化的证明

Indeed, agencies enjoy considerably wider power to dispense with formal proof than the courts do.

事实上, 行政机关较之法院享有更多更广泛的权力省却正式的举证.

英汉非文学 - 行政法

The detectives couldn't find any formal proof of wrongdoing.

侦探未能找到犯罪的有效证据.

互联网