Ling 610 Formal Methods for Linguistics
Next offered in Spring 2020.
This graduate course presents a collection of ideas from mathematics and computer science that are of particular relevance to linguistics. The course does not require a strong background in mathematics, in fact it is intended for students with little or no advanced knowledge in mathematics and computer science. The relevance of these ideas for linguistics and language-related research will be a running theme of the class. Areas of linguistic relevance to be discussed will include phonetics, phonology, syntax, semantics, and learnability.
Graduate students from other departments who have an interest in language-related cognitive research are encouraged to register, and should feel free to contact the instructor with any questions.
The areas to be covered include the following:
- Algebraic concepts – logic, Boolean algebra, order and lattices
- Cardinality – counting and infinite sets
- Mathematical Reasoning – predicate calculus, mathematical induction
- Computation – formal languages and automata, language processing
- Mathematical Analysis – a brief introduction to calculus
- Probability and Statistics – probability, hypothesis testing, bias and variance
The linguistic applications to be discussed may include:
- Optimality Theory ERC entailment
- Semantics of plurals using semi-lattices
- Computational parsing (including prolog programming)
- Syntactic processing with agreement and filler/gap dependencies
- Continuous models of phonetic coarticulation
- Probabilistic grammar models
The software packages used in this course, SWI-prolog and R, are open source and freely available for a variety of computing platforms.