Лекции МФК «Категориальные грамматики» закончились. Зачёт состоялся 18 мая. Желающие сдать зачёт, но не успевшие это сделать, — напишите об этом на sk [собачка] mi [точка] ras [точка] ru (С. Л. Кузнецов).
Курс читается в весеннем семестре 2015/16 учебного года кафедрой математической логики и теории алгоритмов
механико-математического факультета для студентов других факультетов МГУ.
(Студенты мехмата могут также невозбранно посещать этот курс, но им он не может быть засчитан в рамках учебного плана.)
Лекторы:
Время и место:
Современное языкознание немыслимо без использования точных, прежде всего математических, методов. Эти методы можно условно разделить на две большие группы: в одну войдут разнообразные применения математической статистики для исследования больших массивов лингвистических данных, в другую — алгебро-логические подходы к формализации структуры языка. В этом курсе будет рассказано о второй группе методов на примере категориальных грамматик — семейства основанных на логических исчислениях формализмов, используемых для описания синтаксиса и семантики («смысла») предложений на естественных языках. Будет рассказано как о применениях категориальных грамматик в исследовании языка, так и о чисто математических задачах, связанных с этим формализмом.
От слушателей МФК не ожидается специальных лингвистических или математических знаний: языковедческие понятия будут подробно разъяснены, а для понимания математических результатов (возможно, кроме тонких деталей доказательств) будет достаточно владения школьным курсом алгебры.