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