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)|