《形式語義學研究》是2013年中國社會科學出版社出版的圖書,作者是高芸。
基本介紹
- 中文名:形式語義學研究
- 作者:高芸
- ISBN:9787516146200
- 頁數:224頁
- 定價:48元
- 出版社:中國社會科學出版社
- 出版時間:2013年12月
- 裝幀:平裝
- 開本:16開
《形式語義學研究》是2013年中國社會科學出版社出版的圖書,作者是高芸。
《形式語義學研究》是2013年中國社會科學出版社出版的圖書,作者是高芸。內容簡介 形式語義學是邏輯與語言交叉研究的產物,是在邏輯框架內構建的關於自然語言的語義學。形式語義學根植於邏輯學、哲學、數學、語言學等好幾個學科,其顯著...
《現代漢語時間副詞的形式語義研究》是2016年04月中國社會科學出版社出版的圖書,作者是賈改琴 。內容簡介 現代漢語時間副詞是現代漢語副詞的重要組成部分,也是表達漢語時體、時態、時頻和時序的重要手段。本書傳承語言邏輯的研究方法,以...
形式語義學是從20世紀70年代開始發展出來的一個理論陣營。最初的研究開始於蒙太古以數理邏輯方法對英語的研究,後來經過語言學家和哲學家的共同努力,發展成為一個獨立的學科,並且摒棄了蒙太古對生成語言學的句法學的忽視,強調語義解釋和...
第一章 語義、真值與邏輯 第一節 命題、句義和話語義 第二節 句義的信息類型 第三節 言語交際的意義層次 第四節 形式語義學的研究範圍 第五節 邏輯在語義研究中的地位 第六節 幾個基本的語義概念 第七節 各章 內容簡介...
《形式語義學導論(英文版)》適合語言學、人工智慧、認知科學等相關專業的研究者閱讀。作者簡介 卡恩(Ronnie Cann),長期執教於愛丁堡大學語言學系,曾任該系系主任。他的研究領域有形式句法、語義學、語用學等,已出版和發表頗多重要...
現為清華大學外文系助理教授。研究方向為形式語義學,研究興趣包括焦點副詞,條件句,疑問詞及其非疑問用法,疑問句等。文章成果發表於多個語義學及邏輯學的專業期刊和會刊,為多家國際期刊會議及香港研究資助局(RGC)項目匿名評審。
《句式語義的形式分析與計算》是2007年北京語言文化出版社出版的圖書,作者是吳平。作者簡介 吳平,北京語言大學教授,文學博士。曾受國家留學基金委資助先後在英國約克大學和美國加州州立大學長灘校區作訪問學者。研究領域是理論語言學和計算...
在計算機科學中,語義學研究在於機器對自然語言的理解,對形式語言及其句子採用形式系統方法進行語義定義的學問。 需要形式語義研究的原因有以下幾點。幫助理解語言;支持語言標準化;指導語言設計;幫助編寫編譯器和語言系統;支持程式驗證和...
全書內容豐富,結構嚴謹,集形式語義學理論及其套用的有關分支之大成,系統地反映了這個領域各方面的研究成果,特別是它的近代發展潮流和趨勢,並對不同流派的理論和方法給予了分析和評論。本書可作為計算機科學專業研究生、本科生有關課程...
再說得具體一點,邏輯語義學把語言看成一種邏輯推演的形成系統,從而把對語言表達式及其意義之間關係的研究,看成對形式系統中符號表達式及其意義之間關係的研究。現代邏輯方法 主要是指形式化方法,大意是指用一套特製的表意符號(其意義...
形式語義學的一個分支。人們用程式設計語言編製程序,命令計算機系統去加工數據。不同的計算機系統有不同的結構,因此對同一個命令的執行過程可以不同,但最終效果應該相同。指稱語義學方法認為不應該將程式設計語言中各個成分的執行過程計入...
第三章動詞語義研究 第一節動詞語義與客體題元 第二節動詞範疇的語義空缺 第三節動詞語義的“同相一異相”範疇 第四節動詞語義的義素分析 第五節體力行為意義動詞的語義次範疇化 第六節動詞語義研究的詞典化傾向 第四章語言語義形式...
《外教社學術閱讀文庫:語義學經典論文選讀》是2014年上海外語教育出版社出版的圖書,作者是束定芳。本書選編了語言哲學、形式語義學、語用學和認知語義學領域內的20篇經典論文,其中不乏弗雷格、羅素、斯特勞森、格賴斯、萊文森等大家的奠基...
《程式設計語言的形式語義》是2004年機械工業出版社出版的圖書,作者是GlynN Winskel。作者簡介 GlynN Winskel,曾任丹麥Aarhus大學計算機科學系教授,計算機科學基礎研究中心主任,現任劍橋大學計算機實驗室教授。內容簡介 本書是形式語義學...
形式語義學研究 在形式語義學方面,陸汝鈐研究了邏輯語義、代數語義和分散式語義,證明了任意Horn子句集的模型論語義和最小不動點語義的等價性;給出了能描述動態控制結構的基調式代數語義;把平面的Petri網擴展成多頁的Petri/Riemann網(P...
蔣嚴博士 蔣嚴,男,籍貫:浙江海寧,出生地:北京,復旦大學外文系學士(1984)、碩士(1987),倫敦大學博士(1995);香港理工大學中文及雙語學系副教授。研究興趣:形式語義學、形式語用學、認知修辭學。主要著述 蔣嚴、潘海華 《形式語義...
但語用學所研究的意義不同於形式語義學所研究的意義,它所研究的是語言在一定的語境中使用時體現出來的具體意義。由此可知,語境對意義的作用在語用學研究中十分重要。研究在一定的上下文裡語言的使用,包括所產生的字面意義和蘊涵意義,...
隋唐五代巴蜀文學研究 張海 漢語語句系統的形式語義學研究 劉海燕 突發事件中的收集輿情生成及對策研究 庹繼光 蒙元及其前後時期的西域文化與文學研究 楊亦軍 國家社科基金西部項目 2012.06 全國哲學社會科學規劃辦公室 近代四川官話語音研究...
本專業是國內唯一能夠覆蓋形式語言學四大基礎理論領域(音系學、句法學、形式語義學和語言習得)及功能語言學研究領域(語用學,語篇分析,認知語言學等)的外國語言學及套用語言學專業。專業解析 培養目標 (1)進一步學習和掌握馬克思主義...
關於計算和計算機械的數學理論,也稱為計算理論或計算機科學的數學基礎。理論計算機科學主要包括:①自動機論與形式語言理論②程式理論③形式語義學④算法分析和計算複雜性理論。學科的產生 在幾千年的數學發展史中,人們研究了各種各樣的...
計算機軟體科學的特點是基礎研究和套用研究是緊密結合的,而且時效性非常強,基礎研究的最新成果很快就會套用到工程中去。林惠民院士從事的一項工作是關於並發程式的形式語義學及形式化方法的研究。他和他的同事設計並實現了世界上第一個通用...