豐碩 發表於 2012-11-9 02:13:08

【分解原理】

<P align=center><STRONG><FONT size=5>【<FONT color=red>分解原理</FONT>】</FONT></STRONG></P>&nbsp;<P><STRONG>英語翻譯:resolutionprinciple</STRONG></P>
<P><STRONG></STRONG>&nbsp;</P>
<P><STRONG>【辭書名稱】資訊與通信術語辭典</STRONG></P>
<P><STRONG></STRONG>&nbsp;</P>
<P><STRONG>一種將代入、分割規則結合的推理原則;</STRONG></P>
<P><STRONG></STRONG>&nbsp;</P>
<P><STRONG>這種原理可在生成較少公式的情況下證明形式定理,並提高證明的效率。</STRONG></P>
<P><STRONG></STRONG>&nbsp;</P>
<P><STRONG></STRONG>&nbsp;</P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁: [1]
查看完整版本: 【分解原理】