:::
公理語意學 - 教育百科
公 | |
理 | |
語 | |
意 | |
學 |
國家教育研究院辭書
基本資料
英文: | axiomatic semantics |
日期: | 2003年6月 |
出處: | 資訊與通信術語辭典 |
辭書內容
名詞解釋: 係將語意形式化的一種方法,用以證明程式的正確性。其形式如下:設P和Q為述詞公式,S為一組動作(如某程式語言中一組敘述),則 (1)P{S}Q,表示如果在執行S前P成立,則執行S後Q成立。 (2)P1{S1}Q1,P2{S2} Q2,…,Pn{Sn}Qn╱P{S}Q,表示橫線以上的都是公理或定理,則橫線以下也是定理。 |
|
資料來源: | 國家教育研究院_公理語意學 |
授權資訊: | 資料採「 創用CC-姓名標示- 禁止改作 臺灣3.0版授權條款」釋出 |
貓頭鷹博士