Mathematical Methods in Linguistics

Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and mo...

Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and model theory. The section on algebra is presented with an emphasis on lattices as well as Boolean and Heyting algebras. Background for recent research in natural language semantics includes sections on lambda-abstraction and generalized quantifiers. Chapters on automata theory and formal languages contain a discussion of languages between context-free and context-sensitive and form the background for much current work in syntactic theory and computational linguistics. The many exercises not only reinforce basic skills but offer an entry to linguistic applications of mathematical concepts. For upper-level undergraduate students and graduate students in theoretical linguistics, computer-science students with interests in computational linguistics, logic programming and artificial intelligence, mathematicians and logicians with interests in linguistics and the semantics of natural language

芭芭拉·帕赫蒂，著名晤言学家，美国马萨诸塞大学阿默斯特分校语言学及哲学系荣体教授。曾任美国语言学会会长。主要著作除本书外。还有《形式语卫学中的组台性：帕赫蒂文选》、《蒙太古语法》《蒙太古语法和转换语法》等近二十部。爱丽丝·特缪伦著名数理语占学家，曾任职德国普朗克研究所。并先后任救于荷兰格罗宁根大学，美国华盛顿大学，印第安那大学。目前是瑞士日内瓦大学教授。出版或编辑过九部专著和文集，其中除本书外．她与边沁合编的《逻辑和语言手册》一书在国际语言学界享有盛誉。罗伯特沃尔，著名计算语言学家、数理语言学家。