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

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