本书由欧美当代顶尖数理语言学家联合力作，欧美大学语言学系经典教材，为目前各个语种中最完善的版本。涵盖离散数学几乎所有内容，尤其包括和语言研究密切相关的部分。

(美)芭芭拉·帕赫蒂、(荷)爱丽丝·特缪伦、(美)罗伯特·沃尔编著的《语言研究的数学方法》分为五部分，分别为：集合论；逻辑和形式系统；代数；作为形式语言的英语；语言、语法与自动机。每章后附大量练习，每部分后附复习题，并配有练习答案，帮助加深对所学内容的理解。本书既适合课堂教学，也适合自学。可供研究语言学、计算机科学、人工智能以及自然语言处理有兴趣的学者、研究生及高年级本科生使用。

符号表

序言

第一部分 集合论

第一章 集合论的基本概念

1．1 集合的概念

1．2 集合的性质

1．3 集合论的恒等和势

1．4 子集

1．5 幂集

1．6 并和交

1．7 差和补

1．8 集合论的等式

练习

第二章 关系与函数

第三章 关系的性质

第四章 无限

第二部分 逻辑和形式系统

第五章 逻辑和形式系统的基本概念

第六章 命题逻辑

第七章 谓词逻辑

第八章 形式系统、公理化与模型理论

第三部分 代数

第九章 代数的基本概念

第十章 运算结构

第十一章 格理论

第十二章 布尔代数和海廷代数

第四部分 作为形式语言的英语

第十三章 基本概念

第十四章 广义量词

第十五章 内涵性

第五部分 语言、语法与自动机

第十六章 基本概念

第十七章 有限自动机、正则语言与3型语法

第十八章 后进先出自动机、上下文无关语法与上下文无关语言

第十九章 图灵机、递归可枚举语言与O型语法

第二十章 线性有界自动机、上下文有关语言及1型语法

第二十一章 介于上下文无关语言和上下文有关语言之间的语言

第二十二章 转换语法

参考书目

英文索引

译名表