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