Advanced Semantics

Catalog description

Builds a solid command of predicate logic and elements of the lambda calculus. Introduces the principles of compositional model theoretic semantics. Analyzes constituent order and a set of specific phenomena, possibly varying from year to year.