680 Formal Foundations of Linguistics U G 5
This course introduces fundamental mathematical concepts and techniques applicable to the formalization of theories in linguistics and adjacent disciplines such as logic, philosophy, and computer science. But most of the subject matter is of inherent mathematical interest independent of application. Topics covered vary from year to year but always include set theory (sets, functions, and relations); preorders and equivalences; infinity, induction, and recursion; propositional and predicate logic (proof theory, model theory, and translation to/from English); lattices and boolean algebras; trees and directed graphs; decidability and recursive enumerability; and formal languages and automata (with special attention to regular and context-free languages).
Offered 2007-2008:
Offered 2008-2009 (projected):
Instructor's Course Pages:
Carl Pollard
Last modified 2005-06-02
If you are a member of our faculty you may click here to edit this page.