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

豐碩 發表於 2012-11-3 20:50:47

【一階述詞演算】

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

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