基本介紹
- 中文名:形式語義學
- 外文名:formal semantics
- 領域:程式設計理論
- 功能:精確地定義和解釋電腦程式
- 類別:操作語義學、指稱語義學
- 目的:防止程式語言解釋出現歧義
形式語義學(formal semantics),是程式設計理論的組成部分,以數學為工具,利用符號和公式,精確地定義和解釋電腦程式設計語言的語義,使語義形式化的學科。形式語義學是...
《形式語義學基礎與形式說明》是2010年科學出版社出版的圖書,作者是屈延文。本書介紹了指稱語義學、代數語義學、操作語義學與公理語義學的基本內容及其套用,並介紹了...
《形式語義學引論》是中國社會科學出版社2005-6-1出版的圖書。...... 本書詳細介紹形式語義學的基本內容、主要技巧和方法,可供大學語言和語言學專業的高年級本科學...
語義學是指數理邏輯符號學分支之一。關於符號或語言符號(語詞、句子等表達式)與其所指對象關係的學科。美國莫里斯在提出語形學、語義學和語用學的區分時,認為語義...
《形式語義學導論(英文版)》沒有預設語義學和邏輯學的專門知識,循序漸進地介紹了經典蒙太格語義學,便於初學者閱讀。讀者通過《形式語義學導論(英文版)》可對蒙...
《形式語義學的穩定論域理論》是2003年6月科學出版社出版的圖書,作者是陳儀香。...... 《形式語義學的穩定論域理論》是2003年6月科學出版社出版的圖書,作者是陳儀...
形式語義學的一個分支。人們用程式設計語言編製程序,命令計算機系統去加工數據。不同的計算機系統有不同的結構,因此對同一個命令的執行過程可以不同,但最終效果應該...
《程式設計語言的形式語義》是2004年機械工業出版社出版的圖書,作者是GlynN Winskel。...
但是國內語義學研究主要是對具體詞語的解釋,不把各種語義關係集中起來作為獨立的理論加以研究。在國外,傳統意義上的語義學屬於形式語義學,只對語義和真值條件的關係...
語法和語義是定義一個程式設計語言所涉及的兩個重要側面:語法涉及程式文法結構,研究程式設計語言所允許的成分結構形式;而語義則涉及文法上正確的程式的含義,研究語言...
基本信息作者:陸汝鈐 定價:398元 印次:1-1 ISBN:9787302414940 出版日期:2017.01.01 印刷日期:2016.11.241圖書簡介《計算系統的形式語義》是一本於2017年2月1...
語義學是程式設計理論的組成部份,以數學為工具,運用符號和公式,嚴格定義程式設計語言的語義,使語義形式化。查詢語言語義學是指對查詢語言各個成分的含義進行嚴格定義...
邏輯語義學是採用現代邏輯方法,研究語言表達式及其意義之間關係的學科。目前發展迅猛。《邏輯語義學研究》共9章。論述了邏輯語義學的基本理論和最新進展,闡述了作為一...
語用學是指現代數理邏輯符號學分支之一。關於符號或語言符號(語詞、句子等表達式)與其解釋者關係的學科。美國莫里斯在提出語形學、語義學和語用學的區分時,認為語...
在形式語義學方面,陸汝鈐研究了邏輯語義、代數語義和分散式語義,證明了任意Horn子句集的模型論語義和最小不動點語義的等價性;給出了能描述動態控制結構的基調式代數...