The purpose of this course is to present an introduction to several formal frameworks relevant for linguistics (mostly within discrete mathematics). The first part bears on formal language theory (finite state automata, formal grammar, complexity of formal and natural languages). The next topic is first order logic, viewed mostly as a means to represent natural language semantics. Finally, some elements of lambda-calculus will be presented, so that students can get a first idea of Montague’s research program: treat English as a formal language.

Prerequisites : Language (S1), or talk with instructor
ECTS : 6