《形式語義學的穩定論域理論》是2003年6月科學出版社出版的圖書，作者是陳儀香。
基本介紹
- 作者：陳儀香
- ISBN：9787030112644
- 頁數：216
- 定價：18.00
- 出版社：科學出版社
- 出版時間：2003-6-1
- 裝幀：平裝(無盤)
內容介紹
數理科學系列。
形式語義學的穩定論域理論
相關詞條
- 形式語義學的穩定論域理論
《形式語義學的穩定論域理論》是2003年6月科學出版社出版的圖書,作者是陳儀香。...... 《形式語義學的穩定論域理論》是2003年6月科學出版社出版的圖書,作者是陳儀...
- 形式語義學
形式語義學(formal semantics),是程式設計理論的組成部分,以數學為工具,利用符號和公式,精確地定義和解釋電腦程式設計語言的語義,使語義形式化的學科。形式語義學是...
- 指稱語義學
形式語義學的一個分支。人們用程式設計語言編製程序,命令計算機系統去加工數據。...1976年英國一些學者發展了論域理論,提出冪論域理論,從而為定義非確定性程式的...
- 形式語義學基礎與形式說明
套用,並介紹了並發程式設計語言各流派的語義模型和新一代計算機計算模型的理論...1.6 形式說明語言第2章 指稱語義學基礎2.1 論域問題引子2.2 域的構造...
- 邏輯語義學研究
邏輯語義學是採用現代邏輯方法,研究語言表達式及其意義之間關係的學科。目前發展迅猛。《邏輯語義學研究》共9章。論述了邏輯語義學的基本理論和最新進展,闡述了作為一...
- 正則表達式入門經典
形式語義學基礎 [專著]/陳意雲編著,合肥,中國科學技術大學出版社,1994.3,7-312-00533-0,5,237頁26cm,TP301.2/C49形式語義學的穩定論域理論/陳儀香著,北京,...
