语言研究的数学方法

符号表序言第一部分 集合论第一章 集合论的基本概念 1．1 集合的概念 1．2 集合的性质 1．3 集合论的恒等和势 1．4 子集 1．5 幂集 1．6 并和交 1．7 差和补 1．8 集合论的等式 练习第二章 关系与函数第三章 关系的性质第四章 无限第二部分 逻辑和形式系统第五章 逻辑和形式系统的基本概念第六章 命题逻辑第七章 谓词逻辑第八章 形式系统、公理化与模型理论第三部分 代数第九章 代数的基本概念第十章 运算结构第十一章 格理论第十二章 布尔代数和海廷代数第四部分 作为形式语言的英语第十三章 基本概念第十四章 广义量词第十五章 内涵性第五部分 语言、语法与自动机第十六章 基本概念第十七章 有限自动机、正则语言与3型语法第十八章 后进先出自动机、上下文无关语法与上下文无关语言第十九章 图灵机、递归可枚举语言与O型语法第二十章 线性有界自动机、上下文有关语言及1型语法第二十一章 介于上下文无关语言和上下文有关语言之间的语言第二十二章 转换语法参考书目英文索引译名表

本书由欧美当代顶尖数理语言学家联合力作，欧美大学语言学系经典教材，为目前各个语种中最完善的版本。涵盖离散数学几乎所有内容，尤其包括和语言研究密切相关的部分。 (美)芭芭拉·帕赫蒂、(荷)爱丽丝·特缪伦、(美)罗伯特·沃尔编著的《语言研究的数学方法》分为五部分，分别为：集合论；逻辑和形式系统；代数；作为形式语言的英语；语言、语法与自动机。每章后附大量练习，每部分后附复习题，并配有练习答案，帮助加深对所学内容的理解。本书既适合课堂教学，也适合自学。可供研究语言学、计算机科学、人工智能以及自然语言处理有兴趣的学者、研究生及高年级本科生使用。作者简介： 芭芭拉帕赫蒂，著名晤言学家，美国马萨诸塞大学阿默斯特分校语言学及哲学系荣体教授。曾任美国语言学会会长。主要著作除本书外。还有《形式语卫学中的组台性：帕赫蒂文选》、《蒙太古语法》《蒙太古语法和转换语法》等近二十部。 爱丽丝·特缪伦著名数理语占学家，曾任职德国普朗克研究所。并先后任救于荷兰格罗宁根大学，美国华盛顿大学，印第安那大学。目前是瑞士日内瓦大学教授。出版或编辑过九部专著和文集，其中除本书外．她与边沁合编的《逻辑和语言手册》一书在国际语言学界享有盛誉。 罗伯特沃尔，著名计算语言学家、数理语言学家。曾在哈佛大学计算机实验室及IBM研究院工怍。曾任教于美国印第安鄢大学．德克萨斯大学。主要著作除本书外，还有《数理语言学导论》、《裘太古语义学导论》