一类一证法
更新时间：2024-11-10 06:19:54
一类一证法的词语属性
拼音yī lèi yī zhèng fǎ
拼音字母yi lei yi zheng fa
拼音首字母ylyzf
一类一证法的百科含义
一类一证法(proving method for one class oftheorems)一种证明方法.是为一类定理的证明而提出的方法.在计算机上实现这种方法具有重要的意义，因为它使人一劳永逸地原则上完成了某一领域中命题真假判断的研究工作.