謂詞轉換語義（predicate transformer semantics）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：謂詞轉換語義
- 外文名：predicate transformer semantics
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
一種公理語義，它包含了有關語句執行前後變數值的斷言。
出處
《計算機科學技術名詞 》第三版。
謂詞轉換語義
相關詞條
- 謂詞轉換語義
謂詞轉換語義（predicate transformer semantics）是2018年公布的計算機科學技術名詞。定義一種公理語義，它包含了有關語句執行前後變數值的斷言。出處《計算機科學技術名詞 》第三版。1...
- 搭配與謂詞語義計算
《搭配與謂詞語義計算》是2018年11月武漢大學出版社出版的圖書，作者是唐旭日。內容簡介 《搭配與謂詞語義計算》以謂詞語義為研究對象，採用計算語言學方法，以詞語搭配為主要語言知識來源，討論了謂詞的詞義消歧、義項區分和詞義發現三個方面...
- 語義角色視角下的謂詞同義詞辨析
循此思路，對謂詞同義詞的辨析應按照句法功能、語義組合關係、語義屬性三個層級進行，最終將句法功能、語義角色關係都相同的謂詞同義詞的辨析推進到對擔當語義角色的名詞短語語義屬性的觀察上。並選取了有生與無生、個體與集體、具體與抽象...
- 英漢謂詞語義與句法研究
《英漢謂詞語義與句法研究》是2012年國防工業出版社出版的圖書，作者是羅思明。內容簡介 《英漢謂詞語義與句法研究:語言類型學視角》主要從辭彙化、語言類型學和語料庫多重視角對英漢語主要謂詞（動詞和形容詞）的語義屬性、句法行為及其界面...
- 形式語義學的穩定論域理論
第四章 笛卡兒閉性 第五章 穩定映射的全性與極大性 第六章 論域的格表示 第七章 論域的邏輯表示 第八章 最弱前置謂詞的穩定語義 第九章 謂詞轉換器的拓撲語義 第十章 論域的Stone對偶 後記 參考文獻 名詞索引 ...
- 俄羅斯當代語義學
莫斯科語義學派的意義觀著眼於符號指向客觀事物、事件的方式。語言單位的意義屬於人的精神世界，而不屬於被語言描寫的物質世界，它們是操母語者當作同義手段來使用的各種不同語句的共同內容，即眾多同義轉換語句的常體內容。如果這個常體內容...
- 事件語義學引論
第二節 威廉士的謂詞無受事假設 第三節 博萊的句法功能理論 第四章 動詞的事件語義分類 第一節 動詞的基本事件語義分類 第二節 事件類型的轉換 第三節 關於狀態動詞的討論 第五章 個體層面謂詞和階段層面謂詞 第一節 卡爾森的思想...
- 編程的修煉(2013年電子工業出版社出版的圖書)
這方面研究的成果是，正如在這本專著里闡釋的，一個重複結構的語義可以基於謂詞之間的一個遞歸關係定義，而一個廣義遞歸的語義定義則需要基於謂詞轉換器之間的一個遞歸關係。這一點很清楚地說明，為什麼我認為廣義遞歸的複雜性比重複結構高...
- 命題邏輯
DT 的逆命題有著強有力的蘊涵： 它可以用來把公理轉換成推理規則。例如，公理 AND-1, \vdash \phi \wedge \chi \rightarrow \phi 可以通過演繹定理的逆定理的方式被轉換成推理規則 \phi \wedge \chi \vdash \phi 這是合取...
