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. Three lecture hours a week for one semester. Linguistics 373 (Topic: Syntactic Theory) and 377 may not both be counted. Prerequisite: Linguistics 306 and 372L.