证明算法

证明算法的词语属性

证明算法的百科含义

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

• 睿介寻子
• 丁保东
• 神鬼尖兵
• 巅峰时尚
• xūn cǎo熏草
• 智慧旅游云
• 为了男孩子们
• 蓟草浴
• 冬瓜大骨汤
• 郑海英
• 水毛花根
• 壳牌劲霸
• 团岗
• 百友汇礼品网
• 漩口镇
• 留守营
• 雄黄锐散
• 风暴前夕
• 点起一支烟
• 既往病史
• 金味集团
• 冲吧机器人
• 行行行商城
• 徐汇公园
• 郑创业
• 粤晖园
• 寂寞欢场
• 白铃子
• 旋针
• 施秉