基本介紹
- 中文名:數學語言學
- 概述:用數位化來處理語言的一門學科
- 包括:文字語言、符號語言和圖形語言
- 本質:是發展科學計算技術
數學語言學是運用通訊技術和電子計算機實現了語言符號的遠距離傳輸和轉換,並用數位化的快速度來處理語言的一門新興邊緣學科。數學語言學發展歷史數學界引為自豪的是:在現代科學中,只有一種統一的數學符號系統,不同民族的數學家可以很...
代數語言學又稱做形式語言學,數理語言學的一個分支。套用集合論、數理邏輯、算法理論、圖論、格論、模糊數學等離散的、代數的方法研究語言現象的學科。簡介 語言學是社會科學裡最接近自然科學的學科,也是最容易與數學聯繫的學科。如今...
計算語言學(Computational Linguistics)指的是這樣一門學科,它通過建立形式化的數學模型,來分析、處理自然語言,並在計算機上用程式來實現分析和處理的過程,從而達到以機器來模擬人的部分乃至全部語言能力的目的。簡介 我們所說的語言分...
《語言與數學》內容豐富,講解深入淺出,文字流暢易讀,可供廣大語言學、教學工作者,以及對語言與數學感興趣的相關人士閱讀。語言符號的隨機性與統計數學、語言符號的冗餘性與隨機過程、語言符號的離散性與集合論、語言符號的遞歸性與公理...
核心課程:語音學、音系學、形態學、句法學、語義學、語用學、認知語言學、心理語言學、語言類型學、語言學研究方法、語言學論文寫作、專業導論。 特色課程:神經語言學、高等數學、統計學、計量語言學、語料庫語言學、機器學習技術與...
計算語言學,也稱自然語言處理或自然語言理解,它是研究如何利用計算機來分析、處理和理解自然語言的一門學科。計算語言學是植根於計算機科學、語言學和數學等多學科沃土而成長起來的一門新興學科。一般情況下,處理自然語言不僅要有語言學...
自然語言是其統計和分析的對象,機率論和數理統計等統計知識是其統計的理論基礎,計算機是其可以實現統計的工具。因此,對語言進行統計不僅要有語言學方面的知識,而且還要有數學和計算機科學方面的知識。本書分9章,詳細闡述如何把語言學...
基礎部分(包括一、二、三章)主要講述計算語言學的數學和語言學基本概念,計算語言學和自然語言處理技術的關係,自然語言處理的基本流程等內容。此外,作為計算語言學的重要分支之一,語料庫語言學得到了較大發展,有關語料庫語言學的基礎...
形式語言的研究始於20世紀初,50年代中期將形式語言用於描述自然語言。歷史發展 形式語言的研究始於20世紀初,把形式語言用於模擬自然語言是50年代中期的事。當時,許多數理語言學家致力於用數學方法研究自然語言的結構,尤其是1946年電子...
數學、邏輯和計算機科學中,形式語言(英語:Formal language)是用精確的數學或機器可處理的公式定義的語言。如語言學中語言一樣,形式語言一般有兩個方面: 語法和語義。專門研究語言的語法的數學和計算機科學分支叫做形式語言理論,它只...
現代語言學理論 (70610753)3學分(考試)當代西方語言學流派 (70611092)2學分(考試)漢語史 (70610763)3學分(考試)計算語言學基礎理論 (70611043)2學分(考試)組合數學 (60240013)3學分(考試)算法與算法複雜性理論 (...
1964年畢業於北京大學數學力學系。之後一直在北大從事計算機學科的研究與教學工作。現任北京大學信息科學技術學院教授、計算語言學研究所學術指導委員會主席。兼任中國中文信息學會和中國語文現代化學會常務理事、全國標準化技術委員會委員和三分...
本書是我社1956年出版的《數學名詞》和1964年出版的《數學名詞補編》的增修訂合編本。共收有代數、幾何、分析數學、數理邏輯、機率統計、運籌學、計算數學等分支學科的名詞約16,000條。本書可供大專院校師生及有關專業的科技人員參考...
語言學:僅對必要的語言學知識做了簡要介紹,重點是辭彙語義學,讀者可通過擴展閱讀資源了解更多內容。哲學:了解語義學與相關哲學觀點的聯繫,嘗試從計算機和數學的角度對意義、知識和真理進行建模,為谷堆論證等哲學難題提供了新的解決方案...
”朱德熙先生曾對馮志偉說:“數學和語言學的研究都需要有邏輯抽象的能力,在這一方面,數學和語言學有共同性。”北京大學的這些學者,總是站在科學的最前沿來看待學術的發展,他們的鼓勵給了馮志偉以巨大的力量。1978年,之前畢業於北京...
《自然語言處理與計算語言學》是人民郵電出版社出版的圖書,作者是[法] 巴格夫·斯里尼瓦薩-德西坎(Bhargav Srinivasa-Desikan)內容簡介 自然語言處理是一門融語言學、計算機科學、數學於一體的科學,研究人與計算機之間用自然語言進行有效...
句法類型演算,是根據句法類型來判定一個符號串是不是語言中成立句子的數理語言學理論,由語言學家Y.巴爾-希列爾和德裔加拿大數學家J.蘭貝克先後提出。簡介 句法類型演算是辨識語言的模型。這種理論認為,任何詞都可以按它們在句子中的功能...
在現代哲學、數學、邏輯學、語言學中,命題(判斷)是指一個判斷句的語義(實際表達的概念),這個概念是可以被定義並觀察的現象。命題不是指判斷句本身,而是指所表達的語義。當相異的判斷句具有相同的語義的時候,他們表達相同的命題...
2001年到2002年是計算動詞理論的幼年期,在這一時期電子學專家們認識到語言學中大量的觀察結果因缺乏適當的數學工具和測量體系而長期不能自然科學化。因而, 從2003年到2004年計算動詞理論的研究進入了一個綜合成長期。一方面,在理論上,...
計算語義學(computational semantics)是2011年公布的語言學名詞。定義 計算語言學的一個分支。運用數學方法(主要是謂詞邏輯、內涵邏輯等數理邏輯方法)構建語義模型,把語義分析作為一個計算過程來研究。出處 《語言學名詞》第一版。
值得提出的是:在梅森素數的基礎研究方面,法國數學家魯卡斯和美國數學家雷默都做出了重要貢獻;以他們命名的“魯卡斯-雷默方法”是已知的檢測梅森素數素性的最佳方法。此外,中國數學家和語言學家周海中給出了梅森素數分布的精確表達式,為...