【學苑】 › 【資訊與通信術語辭典】 › 【單述詞演算】

豐碩 發表於 2012-11-10 15:41:50

【單述詞演算】

<P align=center><STRONG><FONT size=5>【<FONT color=red>單述詞演算</FONT>】</FONT></STRONG></P>&nbsp;<P><STRONG>英語翻譯：unarypredicatecalculus</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

查看完整版本: 【單述詞演算】