Mathematical Methods in Linguistics Partee Barbara B. H.Pevná vazba
Mathematical Methods in Linguistics Partee Barbara B. H.Pevná vazba Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations,…
Specifikacia Mathematical Methods in Linguistics Partee Barbara B. H.Pevná vazba
Mathematical Methods in Linguistics Partee Barbara B. H.Pevná vazba
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 section on algebra is presented with an emphasis on lattices as well as Boolean and Heyting algebras. 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.
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. Background for recent research in natural language semantics includes sections on lambda-abstraction and generalized quantifiers. The many exercises not only reinforce basic