Лектор: Кузнецов Степан Львович (к.ф.-м.н., с.н.с., Математический институт им. В.А. Стеклова РАН, г. Москва)
Даты:
9 ноября 2023 г. (четверг), 16:20-17:55, ауд. 5211 НГУ
10 ноября 2023 г. (пятница), 16:20-17:55, ауд. 5273 НГУ
11 ноября 2023 г. (суббота), 14:30-16:05, ауд. 5211 НГУ
Видео:
Аннотация:
Современное языкознание немыслимо без использования точных, прежде всего математических, методов. Эти методы можно условно разделить на две большие группы — статистические и алгебро-логические. Настоящий мини-курс будет посвящён второй группе методов. Точнее, будет рассказано о семействе формализмов, называемых категориальными грамматиками. В этих грамматиках для описания синтаксиса и семантики («смысла») предложений на естественных языках используются неклассические логические исчисления. Будет рассказано о структуре данных исчислений, как с помощью них аппроксимируется синтаксис естественного языка, проверяется правильность предложений, а правильным предложениям — сопоставляется формальная семантика в виде лямбда-термов. Все необходимые сведения, как из теории неклассических логик и лямбда-исчисления, так и из лингвистики, будут приведены по ходу изложения.