Название спецкурса на английском языке
Lambek syntactic calculus
Авторы курса
Пентус Мати Рейнович
Аннотация
Курс посвящён одному из математических формализмов, используемых для описания синтаксиса естественных языков — исчислению Ламбека. Доказываются теоретико-доказательственные и теоретико-модельные свойства исчисления Ламбека.
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (осень)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2021/22
Целевая аудитория
2 курс
Аудитория
Неприменимо