The bread and butter of linguistics is the description of linguistic regularities. In order to properly understand, evaluate, and compare descriptions one needs a basic mathematical competence. This course focuses on three central topics, logic, computation, and formal language theory, which are related via the lambda calculus.
Lectures | MW 1:30-2:50, SS 105 |
---|---|
Office Hours | by appointment |
Notes | There is no textbook, but notes and papers will be handed out. |
Grading | 60% Homework, 10% Participation, 30% Final. |
Homework | There will be homework after each class. Homework is to be submitted before the next class. |
Exams | Take-home Final (distributed on the last day of class) |