【五術堪輿學苑】

標題: 【廣用量化變數】 [打印本頁]

---

作者: 豐碩    時間: 2012-11-10 16:02
標題: 【廣用量化變數】

【廣用量化變數】

 

英語翻譯：universallyquantifiedvariable

 

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

 

述詞演算中，全稱量詞符號之後緊接出現的變數。

 

 

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

---

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

Powered by Discuz! X3.1