《形式語意》是2020年西南師範大學出版社出版的圖書。
基本介紹
- 中文名:形式語意
- 作者:彭芳燕,楊仁敏
- 出版社:西南師範大學出版社
- 出版時間:2020年7月1日
- 頁數:138 頁
- 開本:16 開
- 裝幀:平裝
- ISBN:9787569701197
《形式語意》是2020年西南師範大學出版社出版的圖書。
數學、邏輯和計算機科學中,形式語言(英語:Formal language)是用精確的數學或機器可處理的公式定義的語言。如語言學中語言一樣,形式語言一般有兩個方面: 語法和語義。專門研究語言的語法的數學和計算機科學分支叫做形式語言理論,它只...
《形式語義學研究》是2013年中國社會科學出版社出版的圖書,作者是高芸。內容簡介 形式語義學是邏輯與語言交叉研究的產物,是在邏輯框架內構建的關於自然語言的語義學。形式語義學根植於邏輯學、哲學、數學、語言學等好幾個學科,其顯著...
形式語義學是從20世紀70年代開始發展出來的一個理論陣營。最初的研究開始於蒙太古以數理邏輯方法對英語的研究,後來經過語言學家和哲學家的共同努力,發展成為一個獨立的學科,並且摒棄了蒙太古對生成語言學的句法學的忽視,強調語義解釋和...
《形式語義學基礎與形式說明(第2版)》是2010年科學出版社出版的圖書,作者是屈延文。編輯推薦 中國信息安全測評中心自然科學基金項目內容組成之一 站在軟體立場上討論計算機科學的理論及其套用 詳細給出形式語義學的基礎理論框架 理論與軟體...
作為形式語義學的基本原則,任何一本形式語義學教材都會涉及語義組合性,本書的特色主要是將討論延伸至不相鄰表達語義組合帶來的挑戰及相應的處理手段。作者簡介 約德·溫特(Yoad Winter)是荷蘭烏得勒支大學語言學學院語義學及人工智慧專業...
《形式語義學中的序結構和邏輯結構》是依託上海師範大學,由陳儀香擔任項目負責人的面上項目。項目摘要 計算機語言的形成語義是計算機科學理論的重要研究領域,其研究成果對程式設計、軟體形式化、編譯技術、分散式系統等分支領域有重大的實際...
第二章形式語義的基本理論及其自動分析的原理,首先介紹模型理論、規則對規則假設、邏輯翻譯理論和類型理論等形式語義研究中的幾個基本理論思想,並指出這些基本理論思想既是本書所提出的語義分析法的基礎,也是在Prolog語言中實現個案語義自動...
程式設計語言語義屬於形式語義學,在計算理論中,形式語義學是關注計算的模式和程式設計語言的含義的嚴格的數學研究的領域。語言的形式語義是用數學模型去表達該語言描述的可能的計算來給出的。形式語義學(formal semantics),是程式設計...
《漢語焦點副詞與疑問詞的形式語義學分析》是北京大學出版社出版的圖書,作者是劉明明 內容簡介 《漢語焦點副詞與疑問詞的形式語義學分析》探索現代漢語中比較常用的兩個焦點副詞“都,就”以及疑問詞“什麼,哪個人……”,在形式語義學...
形式語法是指計算機科學中描述有限長字串的集合的一種方法。簡介 形式文法之所以這樣命名,是因為它與人類自然語言中的文法相似的緣故。形式文法描述形式語言的基本想法是,從一個特殊的初始符合出發,不斷的套用一些產生式規則,從而生成出...
《現代漢語時間副詞的形式語義研究》是2016年04月中國社會科學出版社出版的圖書,作者是賈改琴 。內容簡介 現代漢語時間副詞是現代漢語副詞的重要組成部分,也是表達漢語時體、時態、時頻和時序的重要手段。本書傳承語言邏輯的研究方法,以...
《序、拓撲及形式語義學的數學基礎》是依託四川大學,由羅懋康擔任項目負責人的重點項目。項目摘要 研究Locale、Fuzzy拓撲等序結構與拓撲結構的共同載體並從格上拓撲統一觀點研討其拓撲結構的深層次關係;研究具重要意義的連續型完備格關係表示...
形式語義學的一個分支。人們用程式設計語言編製程序,命令計算機系統去加工數據。不同的計算機系統有不同的結構,因此對同一個命令的執行過程可以不同,但最終效果應該相同。指稱語義學方法認為不應該將程式設計語言中各個成分的執行過程計入...
《漢語的形式、意義與功能》是2017年7月商務印書館出版的圖書,作者是陳平。內容簡介 本書收錄十二篇論文,圍繞漢語的形式、意義與功能三者關係展開,研究對象是漢語句法、語義、語用和話語分析中具有重大影響的研究課題,包括漢語句子組織...
代數語義學是形式語義學的一個分支,是用代數方法研究計算機語言的語義。始於對抽象數據類型的研究,數據類型是計算機語言中的重要組成部分。用代數結構描述數據類型的語法,用公理體系描述數據類型的語義,就形成了完整的抽象數據類型,並出現...
第7章 設計語義學基礎 7.1 語義學概述 7.2 語義學的局限性 7.3 語義學在現代設計實踐中的運用 第2篇 行(實際套用篇)第8章 形式語言與產品特徵造型設計 8.1 產品外觀設計 8.2 產品特徵造型設計 8.3 基於產品外觀專利保護...
《最簡語義學》是復旦大學出版社於2020年出版的書籍,作者是 [英]艾瑪·博格(Emma Borg)。內容簡介 博格認為,二元語用學闡釋構成了對標準形式語義學路徑的最為強有力的挑戰,因為這樣的闡釋迫使形式理論家表明,不僅形式過程在...
Kripke 語義(也叫做關係語義或框架語義,並經常混淆於可能世界語義)是模態邏輯系統的形式語義,於 1950 年代晚期和 1960 年代早期由 Saul Kripke 建立。它後來為另一個非經典邏輯,最重要的直覺邏輯所接受。Kripke 語義的發現是非經典...