【述詞演算】
<P align=center><STRONG><FONT size=5>【<FONT color=red>述詞演算</FONT>】</FONT></STRONG></P> <P><STRONG>英語翻譯：predicatecalculus</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>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]