Лектор: Кузнецов Степан Львович (к.ф.-м.н., с.н.с., Математический институт им. В.А. Стеклова РАН, г. Москва) 

Даты: 

• 9 ноября (четверг), 16:20-17:55, ауд. 5211 НГУ

• 10 ноября (пятница), 16:20-17:55, ауд. 5273 НГУ

• 11 ноября (суббота), 14:30-16:05, ауд. 5211 НГУ

Видео: 

• Лекция 1 

• Лекция 2 

• Лекция 3 

Аннотация:

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