LING 661 — Advanced Formal Methods

This course presents the formal methods used in the study of syntax or semantics. Topics include basic set theory as well as partial orders and lattices.

Credits: 3
Faculty: Graduate Studies
Department: Linguistics
Prerequisite: LING 660 or LING 671.