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

Конференция студентов, аспирантов и молодых учёных «Ломоносов 2020» Заседание . Доклады: 1. Зверева Татьяна Юрьевна (СибФУ, магистратура, научный руководитель — к.ф.-м.н. С. И. Башмаков) Унификация и финитная аппроксимируемость линейной ступенчатой логики знания с универсальной модальностью 2. Исаев Роман Дмитриевич (МГУ, 1 курс, научный руководитель — Алексей Яковлевич Канель-Белов) Полная система инвариантов многомерного кубика Рубика 3. Мельников Игорь Александрович