| 本书是一本关于计算语言学的专著，是专门为语言学工作者编写的。 全书包括集合论，逻辑和形式系统，代数，作为形式语言的英语，形式语言、形式语法和自动机练习答案选这五篇，读者可以从中了解并掌握语言学研究中使用的主要的数学方法。书中还有大量练习，书末附有练习答案选，可满足语言学工作者在研究中学习和使用数学方法的需要。 |
| Barbara H．Partee是美国马萨诸塞大学著名的语言学和哲学教授，国际上资深的蒙塔鸠语法(Montague grammar)研究专家和形式语义学(formal semantics)奠基人之一。她于1986年担任美国语言学会主席，1984年和1989年先后当选为美国文理科学院和国家科学院院士，多年来一直担任国际形式语义学刊物的编委。 |
| 《语料库与计算语言学研究丛书》序《语言学中的数学方法》导读原书目录符号列表前言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篇 代数D篇 作为形式语言的英语E篇 形式语言、形式语法和自动机练习答案选各篇参考文献索引 |
内容加载中，请稍后...
商品评论（0条）