The goal of this course is to define certain formal properties that underlie the architecture of language. To this end, mathematical tools are provided that help us understand and classify the complex structures and rules that constitute language and grammar. These tools include set theory, propositional logic, information theory, formal language theory, automata theory, as well as a brief introduction to the semantics of natural language.

Website: http://www.ling.upenn.edu/courses/Fall_2006/ling106/Ling106.htm