词语一类一证法的详细解释,一类一证法的拼音及基本释义

一类一证法

【词语拼音】yī lèi yī zhèng fǎ

【词语繁体】一類一證法

【词语结构】式词语

【词语字数】五字词语

【网络解释】
一类一证法(proving method for one class oftheorems)一种证明方法.是为一类定理的证明而提出的方法.在计算机上实现这种方法具有重要的意义,因为它使人一劳永逸地原则上完成了某一领域中命题真假判断的研究工作.