Introduction to formal syntax, which refers to the use of a mathematically precise formalism to model the syntax of human languages and test theories against the challenge of new data. Hands-on solving of syntax puzzles of increasing complexity. Linguistics 373 (Topic: Syntactic Theory) and 377 may not both be counted. Three lecture hours a week for one semester.