题目
更新时间：2024-05-11 00:03:13
求解答，词语证明算法是什么意思？再说说证明算法有什么含义？答案
证明算法的词语属性
拼音zhèng míng suàn fǎ
拼音字母zheng ming suan fa
拼音首字母zmsf
证明算法的百科含义
证明算法(algorithm of proof)一种算法.指可用于证明某些命题的成立与否的算法.有些命题的真假是可以通过一个算法来判断的.例如，命题演算中，命题的真假即可通过一个算法机械地判定.