|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Сложность исчисления Ламбекаучебный курс
- Автор: Пентус М.Р.
- Год создания: 2018
- Организация: МГУ имени М.В. Ломоносова
- Описание: Синтаксическое исчисление Ламбека, некоммутативная линейная логика, алгоритмические проблемы, проблема выводимости, понятие NP-сложности, понятие NP-полноты, сложность проблемы выводимости в мультипликативном фрагменте некоммутативной линейной логики и во фрагментах синтаксического исчисления Ламбека.
- Добавил в систему: Пентус Мати Рейнович
Преподавание курса
- 1 сентября 2021 - 26 января 2022 Пентус Мати Рейнович
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), лекции, 36 часов
- Автор: Пентус М.Р.
- 1 сентября 2018 - 26 января 2019 Пентус Мати Рейнович
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), лекции, 36 часов
- Автор: Пентус М.Р.