Конференция Ломоносов 2020: Математическая логика и теория алгоритмов. Часть 1 (11.11.2020)

Описание: Конференция студентов, аспирантов и молодых учёных «Ломоносов 2020»
Заседание первое (11.11.2020).
Заседание второе (18.11.2020) доступно по ссылке:
   • Конференция Ломоносов 2020: Математическая...  

Доклады:

1. Зверева Татьяна Юрьевна
(СибФУ, магистратура, научный руководитель — к.ф.-м.н. С. И. Башмаков)
Унификация и финитная аппроксимируемость линейной ступенчатой логики знания с универсальной модальностью

2. Исаев Роман Дмитриевич
(МГУ, 1 курс, научный руководитель — Алексей Яковлевич Канель-Белов)
Полная система инвариантов многомерного кубика Рубика

3. Мельников Игорь Александрович
(МФТИ, бакалавриат, научный руководитель — проф. А. Я. Канель-Белов)
О логарифмической оценке функции ко-роста алгебр и равномерно рекуррентных слов

4. Пшеницын Тихон Григорьевич
(МГУ, 4 курс, научный руководитель — проф. М. Р. Пентус)
Последовательное замыкание классов языков относительно пересечения и гомоморфизмов

Конференцию "Ломоносов 2019" можно посмотреть по ссылке:

   • Конференция Ломоносов 2019: Математическая...  

============================================

Научно-исследовательский семинар
по математической логике
под руководством
академика РАН С. И. Адяна,
академика РАН Л. Д. Беклемишева
и академика РАН А. Л. Семёнова
(по средам в ауд. 16-04 ГЗ МГУ)

Веб-страница семинара:
http://logic.math.msu.ru/sem/nis/