《形式語義學引論（第二版）》是2016年科學出版社出版的圖書，作者是周巢塵。
基本介紹
- 書名：形式語義學引論（第二版）
- 作者：周巢塵
- ISBN：9787030533838
- 定價：￥68.00
- 出版社：科學出版社
- 出版時間：2016年
- 裝幀：精裝
- 開本：16
內容簡介,目錄,
內容簡介
《形式語義學引論（第二版）》為形式語義學入門參考書，簡單介紹程式的操作語義、指稱語義和公理語義。《形式語義學引論（第二版）》共7章：第1章介紹操作語義，第2章介紹指稱語義，第3章介紹公理語義，第4介紹過程調用的形式語義，第5章介紹非確定程式的形式語義，第6章介紹並發程式的形式語義，第7章介紹程式的時態語義。
目錄
目錄
再版說明
前言
第1章 操作語義學 1
1.1 引言 1
1.2 FLOW語言 2
1.3 棧-狀態-控制機器 3
1.4 程式的計算 7
1.5 歸約關係 9
1.6 Com=com 13
1.7 AFLOW的操作語義 14
1.8 操作語義發展動態 15
參考文獻 16
第2章 指稱語義學 17
2.1 引言 17
2.2 FLOW的指稱語義 18
2.3 完全偏序集和連續函式 20
2.4連續運算元 25
2.5 不動點 29
2.6 例 33
2.7 FLOW的指稱語義（續） 37
2.8 操作語義與指稱語義的一致性 38
2.9 AFLOW的指稱語義 41
2.10 指稱語義發展動態 42
參考文獻 43
第3章 公理語義學 45
3.1 引言 45
3.2 霍爾系統 45
3.3 形的可靠性(Soundness) 51
3.4 男的完備性(Completeness) 52
3.5 可表達性(Expressiveness) 54
3.6 彩的相對完備性 58
3.7 公理語義發展動態 60
參考文獻 61
第4章 過程調用 63
4.1 引言 63
4.2 PFLOW的操作語義 64
4.3 PFLOW的指稱語義 69
4.4 PFLOW的公理語義 76
第5章 非確定性 82
5.1 引言 82
5.2 GCL的操作語義 84
5.3 GCL的指稱語義 89
5.4 最弱前置條件 96
參考文獻 105
第6章 並發性 106
6.1 引言 106
6.2 CSP語言 106
6.3 CSP的操作語義 111
6.4 CSP向指稱語義 120
6.5 CSP陶公理語義 124
6.6 並發理論發展動態 129
參考文獻 130
第7章 時態語義 132
7.1 引言 132
7.2 時態邏輯 133
7.3 時態語義 136
7.4 基本性質 139
7.5 程式描述 141
7.6 程式推理 143
7.7 時態語義發展動態 148
參考文獻 149
再版說明
前言
第1章 操作語義學 1
1.1 引言 1
1.2 FLOW語言 2
1.3 棧-狀態-控制機器 3
1.4 程式的計算 7
1.5 歸約關係 9
1.6 Com=com 13
1.7 AFLOW的操作語義 14
1.8 操作語義發展動態 15
參考文獻 16
第2章 指稱語義學 17
2.1 引言 17
2.2 FLOW的指稱語義 18
2.3 完全偏序集和連續函式 20
2.4連續運算元 25
2.5 不動點 29
2.6 例 33
2.7 FLOW的指稱語義（續） 37
2.8 操作語義與指稱語義的一致性 38
2.9 AFLOW的指稱語義 41
2.10 指稱語義發展動態 42
參考文獻 43
第3章 公理語義學 45
3.1 引言 45
3.2 霍爾系統 45
3.3 形的可靠性(Soundness) 51
3.4 男的完備性(Completeness) 52
3.5 可表達性(Expressiveness) 54
3.6 彩的相對完備性 58
3.7 公理語義發展動態 60
參考文獻 61
第4章 過程調用 63
4.1 引言 63
4.2 PFLOW的操作語義 64
4.3 PFLOW的指稱語義 69
4.4 PFLOW的公理語義 76
第5章 非確定性 82
5.1 引言 82
5.2 GCL的操作語義 84
5.3 GCL的指稱語義 89
5.4 最弱前置條件 96
參考文獻 105
第6章 並發性 106
6.1 引言 106
6.2 CSP語言 106
6.3 CSP的操作語義 111
6.4 CSP向指稱語義 120
6.5 CSP陶公理語義 124
6.6 並發理論發展動態 129
參考文獻 130
第7章 時態語義 132
7.1 引言 132
7.2 時態邏輯 133
7.3 時態語義 136
7.4 基本性質 139
7.5 程式描述 141
7.6 程式推理 143
7.7 時態語義發展動態 148
參考文獻 149
