形式語義學基礎與形式說明

內容簡介

《形式語義學基礎與形式說明(第2版)》第一版是20世紀80年代國家教委計算機軟體專業教材編委會推薦教材之一。《形式語義學基礎與形式說明(第2版)》詳細地給出了形式語義學的基礎理論框架，但它並不是一本純理論的教材，而是一本理論與軟體實踐相結合的教材。

全書共分十章。本書主要介紹了例如curry的組合邏輯，Martin-Lof的直覺主義數學的討論都是近代計算機理論較重要的基礎內容。

作者簡介

屈延文，現任中國信息安全產業商會機構常務副理事長，中國信息安全測評中心顧問和北京大學、武漢大學、華中科技大學等兼職教授，是信息化與安全總體諮詢機構QNS工作室的主要成員之一。是中國CAD事業、軟體工程與計算機科學和信息化科學的開拓者與主要的推動者之一，是我國電腦程式設計語言、作業系統和軟體工程專家和中國著名計算機科學學者，參與並主持國家信息化多項重大工程建設工作。目前，他是信息化與安全的總體設計師，是中國信息安全產業標準化聯盟總體組組長，主持可信網路世界體系結構框架（TCAF）標準體系的研究、制定和推動工作。同時，長期為國家培養了數量眾多的計算機科學和信息化科學的高水平的科學與技術人才。

軟體行為學、網路世界行為學科（形式行為學）的開創者。曾著有《形式語義學基礎與形式說明》、《實用類型程式設計》、《軟體行為學》、《信息化行為學理論基礎與形式化方法》，主筆《銀行行為監管》和《銀行行為控制》等著作。

圖書目錄

第1章引論

1.1 形式語義學

1.2 指稱語義學

1.3 代數語義學

1.4 操作語義學

1.5 公理語義方法

1.6 形式說明語言

第2章指稱語義學基礎

2.1 論域問題引子

2.2 域的構造

2.3 偏序與完全偏序

2.4 單調函式與連續函式

2.5 連續泛函

2.6 泛函不動點及遞歸程式

2.7 抽象及-演算

2.8 指稱語義定義初步

習題

參考文獻

第3章程式設計語言的指稱語義

3.1 程式設計語言的基本概念

3.2 存儲語義

3.3 環境(聲明)語義

3.4 命令語義

3.5 表達式語義

3.6 連續

3.7 證明技術

3.8 小結

習題

參考文獻

第4章指稱語義的一些例子

4.1 例子1

4.2 例子2

4.3 例子3

4.4 例子4

習題

參考文獻

形式語義學基礎與形式說明

基本介紹

內容簡介

作者簡介

圖書目錄

相關詞條

熱門詞條