【五術堪輿學苑】

標題: 【證明理論】 [打印本頁]

作者: 豐碩 時間: 2012-11-8 16:17
標題: 【證明理論】

【證明理論】

英語翻譯：prooftheory

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

組合邏輯中，以一序列的保真變換來展示敘述的描述程序。

在此方式下，一條敘述是其他敘述或敘述群的變換結果。

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

歡迎光臨【五術堪輿學苑】 (http://124.156.177.65/)

Powered by Discuz! X3.1