Межфакультетский курс «Категориальные грамматики»

весна 2020 г.

МФК «Категориальные грамматики» в условиях самоизоляции

Дорогие слушатели! Очные занятия в МГУ отменены с 17 марта вплоть до нормализации эпидемиологической обстановки. На этой странице вы найдёте информацию о дистанционном прохождении курса и сдаче зачёта.

Онлайн-встреча для ответов на вопросы по курсу (Q&A) состоялась в среду 13 мая в 17:00 на платформе Zoom.
Доступна видеозапись встречи

Взаимодействие

Общие материалы

Календарный план и материалы лекций

В этом разделе приведён приблизительный план лекций курса, которые должны были быть прочитаны, если бы не эпидемия. Для каждой лекции мы публикуем слайды и, по возможности, видеозапись соответствующей лекции 2016 года. Даты лекций указаны для слушателей как ориентир, с какой примерной скоростью осваивать материал, чтобы всё успеть.

1-я лекция «Обзор», 19.02.2020
2-я лекция «Регулярные выражения, конечные автоматы», 26.02.2020
3-я лекция «Контекстно-свободные грамматики», 04.03.2020
4-я лекция «Базовые категориальные грамматики. Исчисление и грамматики Ламбека», 11.03.2020
5-я лекция «Лямбда-исчисление и формальная семантика», 18.03.2020
6-я лекция «Лямбда-исчисление и формальная семантика», 25.03.2020
7-я лекция «Контекстно-свободные грамматики и семантика Монтегю», 08.04.2020
8-я лекция «Преобразование грамматики Ламбека в контекстно-свободную грамматику (начало)», 15.04.2020
9-я лекция «Доказательство теоремы о преобразовании грамматики Ламбека в контекстно-свободную грамматику», 22.04.2020
10-я лекция «Преобразование контекстно-свободной грамматики в грамматику Ламбека», 29.04.2020
11-я лекция «Введение в теорию алгоритмов», 06.05.2020
12-я лекция «Сложность исчисления Ламбека», 13.05.2020

Кто? Где? Когда?

Курс читается в весеннем семестре 2019/20 учебного года кафедрой математической логики и теории алгоритмов механико-математического факультета для студентов других факультетов МГУ.
(Студенты мехмата могут также невозбранно посещать этот курс, но им он не может быть засчитан в рамках учебного плана.)

Лекторы:

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

Время и место:

среда, 17:00 — 18:30, аудитория 16-24 Главного здания МГУ


Аннотация

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

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


Литература

[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] М. Р. Пентус. Конспект «Семантика Монтегю и синтаксическое исчисление Ламбека»

Дорогие слушатели! Если вы не имеете доступа к какой-либо книге из этого списка, но она вам нужна, напишите об этом на sk [собачка] mi [точка] ras [точка] ru (С. Л. Кузнецов).