《形式語義學研究》是2013年中國社會科學出版社出版的圖書,作者是高芸。
基本介紹
- 中文名:形式語義學研究
- 作者:高芸
- ISBN:9787516146200
- 頁數:224頁
- 定價:48元
- 出版社:中國社會科學出版社
- 出版時間:2013年12月
- 裝幀:平裝
- 開本:16開
《形式語義學研究》是2013年中國社會科學出版社出版的圖書,作者是高芸。
《形式語義學研究》是2013年中國社會科學出版社出版的圖書,作者是高芸。內容簡介 形式語義學是邏輯與語言交叉研究的產物,是在邏輯框架內構建的關於自然語言的語義學。形式語義學根植於邏輯學、哲學、數學、語言學等好幾個學科,其顯著...
形式語義學是從20世紀70年代開始發展出來的一個理論陣營。最初的研究開始於蒙太古以數理邏輯方法對英語的研究,後來經過語言學家和哲學家的共同努力,發展成為一個獨立的學科,並且摒棄了蒙太古對生成語言學的句法學的忽視,強調語義解釋和...
《形式語義學中的序結構和邏輯結構》是依託上海師範大學,由陳儀香擔任項目負責人的面上項目。項目摘要 計算機語言的形成語義是計算機科學理論的重要研究領域,其研究成果對程式設計、軟體形式化、編譯技術、分散式系統等分支領域有重大的實際...
程式設計語言語義屬於形式語義學,在計算理論中,形式語義學是關注計算的模式和程式設計語言的含義的嚴格的數學研究的領域。語言的形式語義是用數學模型去表達該語言描述的可能的計算來給出的。形式語義學(formal semantics),是程式設計...
《形式語義學引論》是2005年中國社會科學出版社出版的圖書,作者是蔣嚴、潘海華。內容簡介 本書詳細介紹形式語義學的基本內容、主要技巧和方法,可供大學語言和語言學專業的高年級本科學生及碩士、博士生作研習、參考之用。對自然語言分析和...
《形式語義學導論(英文版)》適合語言學、人工智慧、認知科學等相關專業的研究者閱讀。作者簡介 卡恩(Ronnie Cann),長期執教於愛丁堡大學語言學系,曾任該系系主任。他的研究領域有形式句法、語義學、語用學等,已出版和發表頗多重要...
現為清華大學外文系助理教授。研究方向為形式語義學,研究興趣包括焦點副詞,條件句,疑問詞及其非疑問用法,疑問句等。文章成果發表於多個語義學及邏輯學的專業期刊和會刊,為多家國際期刊會議及香港研究資助局(RGC)項目匿名評審。
《自然語言形式理論研究》是2010年人民出版社出版的圖書,作者是蔡曙山。內容簡介 本書以句法學、語義學和語用學的三三分框架和形式化方法對自然語言進行了研究。20世紀人類認識史上最重大的事件是語言轉向。語言轉向有雙重含義。第一種...
《形式語義學基礎與形式說明》是2010年科學出版社出版的圖書,作者是屈延文。本書介紹了指稱語義學、代數語義學、操作語義學與公理語義學的基本內容及其套用,並介紹了並發程式設計語言各流派的語義模型和新一代計算機計算模型的理論問題。內...
形式語義學是在做什麼?它的哲學假設是什麼?它採用的方法是什麼?這些方法如何反映它的哲學的和邏輯的起源?維根斯坦在其中扮演了什麼樣的角色?維根斯坦關於倫理的看法是什麼樣的?維根斯坦的《哲學研究》與蒙塔古的“普遍語法”...
形式語義學的一個分支。人們用程式設計語言編製程序,命令計算機系統去加工數據。不同的計算機系統有不同的結構,因此對同一個命令的執行過程可以不同,但最終效果應該相同。指稱語義學方法認為不應該將程式設計語言中各個成分的執行過程計入...
2.1形式語義研究的基本理論思想 2.1.1模型理論 2.1.2規則對規則假設 2.1.3邏輯翻譯理論 2.1.4類型理論 2.2Prolog語言環境下的自動分析原理 2.2.1基於定子句語法的Prolog語言的基本概念 2.2.2分析的策略和本書算法的選擇 第...
《形式語義學的穩定論域理論》是2003年6月科學出版社出版的圖書,作者是陳儀香。圖書簡介 本書講述了計算機語言形式語義的穩定論域理論中的序理論、邏輯結構和拓撲方法,論述了穩定映射的代數、拓撲刻畫以及跡表示等 內容。圖書目錄 前言 ...
《語義學(第2版)》是國際學術出版社英國帕爾格雷夫麥克米倫出版的現代語言學教材,以深入淺出、淺顯易懂的語言,對當代形式語義學的基本概念、研究工具和研究選題進行了詳細的介紹,適合對形式語義學沒有任何背景的讀者。每章均提供精心...
語言學的語義學研究目的在於找出語義表達的規律性、內在解釋、不同語言在語義表達方面的個性以及共性。在計算機科學中,語義學研究在於機器對自然語言的理解,對形式語言及其句子採用形式系統方法進行語義定義的學問。 需要形式語義研究的原因有...
本項目著眼於自然語言的模糊語義形式化表達、定量分析與套用研究。主要針對漢語、英語和藏語三個語種,圍繞各語種自身特點、結合現有資源情況,基於語言學基礎、fuzzy logic理論及機器學習方法,從理論探索、方法改進和套用驗證三個層面進行研究...
始於對抽象數據類型的研究,數據類型是計算機語言中的重要組成部分。用代數結構描述數據類型的語法,用公理體系描述數據類型的語義,就形成了完整的抽象數據類型,並出現了研究這種結構的代數語義學。簡介 形式語義學的一個分支,用代數方法...
《西方語言學與套用語言學視野:語義學(第2版)》由淺入深地系統講授了形式語義學的基本概念和語義表征與運算方法,如指稱論、真值條件語義學、一階謂詞邏輯、蘭姆達演算、情態語義、可能世界理論、廣義量詞理論、涉時語義等,語言可讀性...
《漢語句子的焦點結構和語義解釋》是2012年商務印書館出版的圖書,作者是袁毓林。本書主要用形式語義學的焦點理論,來分析句子成分之間的結構關係和語義關係。內容簡介 本書著重用數理邏輯上關於運算元和變數的約束關係這種觀念,來分析焦點...
本專業是國內唯一能夠覆蓋形式語言學四大基礎理論領域(音系學、句法學、形式語義學和語言習得)及功能語言學研究領域(語用學,語篇分析,認知語言學等)的外國語言學及套用語言學專業。專業解析 培養目標 (1)進一步學習和掌握馬克思主義...
多元複變函數論研究 陸汝鈐早期從事多元複變函數論研究,首先在一大類非對稱可遞域上建立起調和函式論,正面回答了在Cartan猜想被否定以後,學術界對非對稱可遞域上能否建立調和函式論的疑惑。形式語義學研究 在形式語義學方面,陸汝鈐研究...
2.3 預設的語義分析 2.4 預設的語用分析 2.5 預設與隱涵之間的關係 第八章 邏輯語法理論 第一節 邏輯語法的開端——蒙太格語法 1.1 蒙太格語法產生的背景 1.2 蒙太格語法開闢了自然語言形式語義學研究的新思路 第二節 邏輯...