Категориальные грамматики
Механико-математический факультет

Современное языкознание немыслимо без использования точных, прежде всего
математических, методов. Эти методы можно условно разделить на две большие группы: в
одну войдут разнообразные применения математической статистики для исследования
больших массивов лингвистических данных, в другую — алгебро-логические подходы к
формализации структуры языка. В этом курсе будет рассказано о второй группе методов на
примере категориальных грамматик — семейства основанных на логических исчислениях
формализмов, используемых для описания синтаксиса и семантики («смысла») предложений
на естественных языках. Будет рассказано как о применениях категориальных грамматик в
исследовании языка, так и о чисто математических задачах, связанных с этим формализмом.
От слушателей МФК не ожидается специальных лингвистических или математических
знаний: языковедческие понятия будут подробно разъяснены, а для понимания
математических результатов (возможно, кроме тонких деталей доказательств) будет
достаточно владения школьным курсом алгебры.
Список литературы и другую информацию можно найти на сайте курса
http://lpcs.math.msu.su/~sk/lehre/mfk2018/.