【公理語意學】
英語翻譯：axiomaticsemantics
【辭書名稱】資訊與通信術語辭典
係將語意形式化的一種方法，用以證明程式的正確性。
其形式如下：設P和Q為述詞公式，S為一組動作（如某程式語言中一組敘述），則(1)P｛S｝Q，表示如果在執行S前P成立，則執行S後Q成立。
(2)P1{S1}Q1，P2{S2}Q2，…，Pn{Sn}Qn╱P{S}Q，表示橫線以上的都是公理或定理，則橫線以下也是定理。
轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
| 歡迎光臨 【五術堪輿學苑】 (http://gw.wsky.ink/) | Powered by Discuz! X3.1 |