語言學中的數學方法

《語料庫與計算語言學研究叢書》序
《語言學中的數學方法》導讀
原書目錄
符號列表
前言
A篇 集合論
第一章 集合論的基本概念
1.1 集合的概念
1.2 集合的規範說明方法
1.3 集合論中的等同與基數
1.4 子集合
1.5 冪集
1.6 集合的並與集合的交
1.7 集合的差與集合的補
1.8 集合論中的幾個等式
練習
第二章 關系和函數
2.1 有序對與卡氏積
2.2 關系
2.3 函數
2.4 函數的組合
練習
第三章 關系的性質
3.1 自反性、對稱性、傳遞性和連通性
3.2 關系的圖示
3.3 關系的逆與關系的補的性質
3.4 等價關系與劃分
3.5 序
練習
第四章 無限性
4.1 等價集合與基數
4.2 集合的可枚舉性
4.3 不可枚舉集合
4.4 無限與無界
練習
附錄A︰用集合論再構建數的系統
A.1 自然數
A.2 擴充到全部的整數集
A.3 擴充到全部的有理數集
A.4 擴充到全部的實數集
復習練習
B篇 邏輯和形式系統
第五章 邏輯和形式系統的基本概念
第六章 命題邏輯
第七章 謂詞邏輯
第八章 形式系統、公理化與模型理論
C篇 代數
第九章 代數的基本概念
第十章 運算的結構
第十一章 格
第十二章 布爾（Boolean）代數與赫廷（Heything）代數
D篇 作為形式語言的英語
第十三章 基本概念
第十四章 廣義量詞
第十五章 內涵性
E篇 形式語言、形式語法和自動機
第十六章 基本概念
第十七章 有限自動機、正則語言與3型語法
第十八章 下推自動機、上下文無關語法與上下文無關語言
第十九章 圖靈機、遞歸可枚舉語言與0型語法
第二十章 線民生有界自動機、上下文有關語言與1型語法
第二十一章 介于上下文無關與上下文有關之間的語言
第二十二章 轉換語法
練習答案選
各篇參考文獻
索引

“語料庫與計算語言學研究叢書”旨在向國內讀者推薦語料庫語言學與計算語言學這兩個學科最新和最經典的外文著作。語料庫語言學的語料要建立在計算機上，而計算語言學則專門研究自然語言的計算機處理，這兩個學科都要使用計算機，都與計算機有著不解之緣。這篇序言主要給少了這兩個學科的學術背景，以及它們之間的關系，以方便讀者的閱讀和理解。

1.語料庫語言學研究簡介

語料庫是為一個或多個應用目標而專門收集的、有一定結構的、有代表性的、可被計算機程序檢索的、具有一定規模的語料的集合。

語料庫應該按照一定的語言學原則，運用隨機抽樣方法，收集自然出現的連續的語言運用文本或華育片段來建立。從其本質上講，語料庫實際上是通過對自然語言運用的隨機抽樣，以一定大小的語言樣本來代表某一研究中所確定的語言運用總體。

語料庫一般可分為如下類型︰

●按語料選取的時間劃分，可分為歷時語料庫（diachronic corpus）和共時語料庫（synchronic corpus）。

●按語料的加工深度劃分，可分為標注語料庫（annotated corpus）和非標注語料庫（non-annotated corpus）。

●按語料庫的結構劃分，可分為平衡結構語料庫（balance structure corpus）和自然隨即結構的語料庫（random structure corpus）。

●按語料庫的用途劃分，可分為通用語料庫（general corpus）和專用語料庫（specialized corpus）。專用語料庫又可以進一步根據使用的目的來劃分，例如，又可以進一步分為語言學習者語料庫（learner corpus）、語言教學語料庫（pedagogical corpus）。

●按語料庫的表達形式劃分，可分為口語語料庫（spoken corpus）和文本語料庫（text corpus）。

●按語料庫中語料的語種劃分，可分為單語種語料庫（monolingual corpus）和多語種語料庫（multilingual corpus）。多語種語料庫又可以再分為比較語料庫（comparable corpus）和平行語料庫（parallel corpus） 。比較語料庫的目的側重于特定語言現象的對比，而平行語料庫的目的側重于獲取對應的翻譯實例。

●按語料庫的動態更新程度劃分，可分為參考語料庫（reference corpus）和監控語料庫（monitor corpus）。參考語料庫原則上不作動態更新，而監控語料庫則需要不斷地進行動態更新。

……