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