Название спецкурса на русском языке
Категориальные грамматики Ламбека
Перевод названия курса на английский язык
Lambek categorial grammars
Авторы курса
Пентус Мати Рейнович
Целевая аудитория
2 курс
3 курс
4 курс
5 курс
6 курс
Магистранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (весна)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2021/22
День недели
вторник
Время
16:45-18:20
Формат проведения
Дистанционно
Аудитория
[Дистанционно]
Аннотация
Категориальные грамматики Ламбека были введены в 1958 году для математически строгого описания синтаксиса естественных языков.
В курсе доказывается, что эти грамматики задают в точности контекстно-свободные языки.