Beskrivning
Beskrivning
Elementary set theory accustoms the students to mathematicalabstraction, includes the standard constructions of relations,functions, and orderings, and leads to a discussion of the variousorders of infinity. The material on logic covers not only the standardstatement logic and first-order predicate logic but includes anintroduction to formal systems, axiomatization, and model theory. Thesection on algebra is presented with an emphasis on lattices as wellas Boolean and Heyting algebras. Background for recent research innatural language semantics includes sections on lambda-abstraction andgeneralized quantifiers. Chapters on automata theory and formallanguages contain a discussion of languages between context-free andcontext-sensitive and form the background for much current work insyntactic theory and computational linguistics. The many exercises notonly reinforce basic skills but offer an entry to linguisticapplications of mathematical concepts.For upper-level undergraduate students and graduate students intheoretical linguistics, computer-science students with interests incomputational linguistics, logic programming and artificialintelligence, mathematicians and logicians with interests inlinguistics and the semantics of natural language.
