Introduction to some basic mathematical concepts and techniques central to linguistic theory. Set theory, logic and formal systems, modern algebra, automata theory, and model theory. Applications to syntax, phonology, semantics. No prior mathematics assumed.