Курс читался в весеннем семестре 2015/16 учебного года кафедрой математической логики и теории алгоритмов механико-математического факультета для студентов других факультетов МГУ.

Современное языкознание немыслимо без использования точных, прежде всего математических, методов. Эти методы можно условно разделить на две большие группы: в одну войдут разнообразные применения математической статистики для исследования больших массивов лингвистических данных, в другую — алгебро-логические подходы к формализации структуры языка. В этом курсе будет рассказано о второй группе методов на примере категориальных грамматик — семейства основанных на логических исчислениях формализмов, используемых для описания синтаксиса и семантики («смысла») предложений на естественных языках. Будет рассказано как о применениях категориальных грамматик в исследовании языка, так и о чисто математических задачах, связанных с этим формализмом.

От слушателей МФК не ожидается специальных лингвистических или математических знаний: языковедческие понятия будут подробно разъяснены, а для понимания математических результатов (возможно, кроме тонких деталей доказательств) будет достаточно владения школьным курсом алгебры.

Литература:
[1] B. Carpenter. Type-logical semantics. — Cambridge, Mass.: The MIT Press, 1997.
[2] G. Morrill. Categorial grammar. Logical syntax, semantics, and processing. — Oxford Univ. Press, 2011.
[3] R. Moot, C. Retoré. The logic of categorial grammars. A deductive account of natural language syntax and semantics. LNCS Vol. 6850, Springer, 2012.
[4] М. Р. Пентус. Конспект «Семантика Монтегю и синтаксическое исчисление Ламбека»

Задачи по материалам курса

Руководители
Кузнецов Степан Львович
Пентус Мати Рейнович
Сорокин Алексей Андреевич

Организации
Московский государственный университет имени М. В. Ломоносова