複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/證明算法/19097097
複製
複製成功

證明算法

鎖定
證明算法(algorithm of proof)一種算法.指可用於證明某些命題的成立與否的算法.有些命題的真假是可以通過一個算法來判斷的.例如，命題演算中，命題的真假即可通過一個算法機械地判定.
[1] 
中文名
證明算法
外文名
algorithm of proof
釋    義
可用於證明某些命題的成立與否的算法
參考資料
  • 1.    數學辭海（第四卷）