证明算法的意思

zhèng míng suàn fǎ

证明算法

拼音zhèng míng suàn fǎ

拼音字母zheng ming suan fa

拼音首字母zmsf

百科含义

证明算法(algorithm of proof)一种算法.指可用于证明某些命题的成立与否的算法.有些命题的真假是可以通过一个算法来判断的.例如，命题演算中，命题的真假即可通过一个算法机械地判定.

词语组词

相关词语