证明算法
【词语拼音】zhèng míng suàn fǎ
【词语繁体】證明算法
【词语结构】ABCD式词语
【词语字数】四字词语
【网络解释】
证明算法(algorithm of proof)一种算法.指可用于证明某些命题的成立与否的算法.有些命题的真假是可以通过一个算法来判断的.例如，命题演算中，命题的真假即可通过一个算法机械地判定.
无法证明证明方法明证法师明算辅助证明法自动证明法外国法证明算法《算法》证明法算明证计算算法证法公证证明明法计算机算法算法级珠算速算法证明力证明师图算法算法论计算法算法式推算法证明书证明论分算法验算法估算法指算法计算凭证证券清算证据证明力房产证证明船证明阳明证结算凭证证券结算证明是正明实证法誓证法反证法算法表示法凭证法喻证法辩证法透明计算明星算命结算保证金减法运算趣学算法算法交易成本算法计算方法雷达算法设计算法统计算法硬件算法算法列表矩阵算法扫描算法交换算法推荐算法算法分类运算法则量子算法算法设计加法速算算法经济在线算法随机算法控制算法算法分析计算机取证房屋证明不证自明死亡证明船龄证明出生证明犹太证明间接证明贷款证明爱的证明税收证明健康证明存款证明资产证明算法之书聚类算法简便算法画家算法概率算法内点算法基础算法