【證明理論】
<P align=center><STRONG><FONT size=5>【<FONT color=red>證明理論</FONT>】</FONT></STRONG></P> <P><STRONG>英語翻譯：prooftheory</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】資訊與通信術語辭典</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>組合邏輯中，以一序列的保真變換來展示敘述的描述程序。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>在此方式下，一條敘述是其他敘述或敘述群的變換結果。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]