【五術堪輿學苑】

標題: 【單述詞演算】 [打印本頁]

---

作者: 豐碩    時間: 2012-11-10 15:41
標題: 【單述詞演算】

【單述詞演算】

 

英語翻譯：unarypredicatecalculus

 

【辭書名稱】資訊與通信術語辭典

 

在二階述詞演算中，只能使用普通常量、變量、命題常量、變量以及單變元的述詞函數變量者之謂。

 

 

轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary

---

歡迎光臨 【五術堪輿學苑】 (http://aa.wsky.ink/)

Powered by Discuz! X3.1