Из-за периодической блокировки нашего сайта РКН сервисами, просим воспользоваться резервным адресом:
Загрузить через dTub.ru Загрузить через ycliper.com Загрузить через ClipSaver.ruУ нас вы можете посмотреть бесплатно Конференция Ломоносов 2020: Математическая логика и теория алгоритмов. Часть 1 (11.11.2020) или скачать в максимальном доступном качестве, которое было загружено на ютуб. Для скачивания выберите вариант из формы ниже:
Роботам не доступно скачивание файлов. Если вы считаете что это ошибочное сообщение - попробуйте зайти на сайт через браузер google chrome или mozilla firefox. Если сообщение не исчезает - напишите о проблеме в обратную связь. Спасибо.
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса savevideohd.ru
Конференция студентов, аспирантов и молодых учёных «Ломоносов 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/