3.0

credits

Average Course Rating

This course will be devoted to the study of formal systems that have proven useful in the cognitive science of language. We will discuss a wide range of mathematical structures and techniques and demonstrate their applications in theories of grammatical competence and performance. A major goal of this course is bringing students to a point where they can evaluate the strengths and weaknesses of existing formal theories of cognitive capacities, as well as profitably engage in such formalization, constructing precise and coherent definitions and rigorous proofs. Also offered as AS.050.670.